5 results
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 607-623
- Print publication:
- September 2022
-
- Article
- Export citation
TRACTARIAN LOGICISM: OPERATIONS, NUMBERS, INDUCTION
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 21 October 2020, pp. 973-1010
- Print publication:
- December 2021
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1147-1189
- Print publication:
- September 2018
-
- Article
- Export citation
REFERENCE IN ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 14 January 2018, pp. 573-603
- Print publication:
- September 2018
-
- Article
- Export citation
MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 15 February 2018, pp. 381-404
- Print publication:
- December 2017
-
- Article
- Export citation