28 results
POUR-EL’S LANDSCAPE
-
- Journal:
- Bulletin of Symbolic Logic / Accepted manuscript
- Published online by Cambridge University Press:
- 09 May 2024, pp. 1-36
-
- Article
-
- You have access
- Export citation
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 September 2021, pp. 385-424
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 10 June 2019, pp. 269-295
- Print publication:
- June 2020
-
- Article
- Export citation
ON A QUESTION OF KRAJEWSKI’S
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 343-358
- Print publication:
- March 2019
-
- Article
- Export citation
Uniform Interpolation and Layered Bisimulation
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 139-164
-
- Chapter
- Export citation
A Direct Comparison of Real-World and Virtual Navigation Performance in Chronic Stroke Patients
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 22 / Issue 4 / April 2016
- Published online by Cambridge University Press:
- 22 March 2016, pp. 467-477
-
- Article
- Export citation
SELF-REFERENCE IN ARITHMETIC I
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 07 October 2014, pp. 671-691
- Print publication:
- December 2014
-
- Article
- Export citation
SELF-REFERENCE IN ARITHMETIC II
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 07 October 2014, pp. 692-712
- Print publication:
- December 2014
-
- Article
- Export citation
Vaught's Theorem on Axiomatizability by a Scheme
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 382-402
- Print publication:
- September 2012
-
- Article
- Export citation
ω-models of finite set theory
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 43-65
-
- Chapter
- Export citation
ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 21 September 2011, pp. 367-393
- Print publication:
- September 2011
-
- Article
- Export citation
HUME’S PRINCIPLE, BEGINNINGS
-
- Journal:
- The Review of Symbolic Logic / Volume 4 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 14 February 2011, pp. 114-129
- Print publication:
- March 2011
-
- Article
- Export citation
Decorated linear order types and the theory of concatenation
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 1-13
-
- Chapter
- Export citation
CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 05 October 2009, pp. 570-589
- Print publication:
- September 2009
-
- Article
- Export citation
Closed Fragments of Provability Logics of Constructive Theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 3 / September 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1096
- Print publication:
- September 2008
-
- Article
- Export citation
Predicate Logics of Constructive Arithmetical Theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1311-1326
- Print publication:
- December 2006
-
- Article
- Export citation
Categories of theories and interpretations
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 284-341
-
- Chapter
- Export citation
SURVEY ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-2
-
- Chapter
- Export citation
Logic Colloquium '99
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
RESEARCH ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 49-50
-
- Chapter
- Export citation