10 results
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-17
-
- Article
- Export citation
NON-TIGHTNESS IN CLASS THEORY AND SECOND-ORDER ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 June 2023, pp. 1-28
-
- Article
- Export citation
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 December 2022, pp. 1-23
-
- Article
- Export citation
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 12 December 2022, pp. 1526-1555
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 17 October 2022, pp. 128-144
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 May 2022, pp. 738-779
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 27 April 2022, pp. 182-206
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 04 October 2019, pp. 1-35
- Print publication:
- March 2022
-
- Article
- Export citation
Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 8 / Issue 4 / October 2009
- Published online by Cambridge University Press:
- 30 January 2009, pp. 623-652
- Print publication:
- October 2009
-
- Article
- Export citation