19 results in 03HXX
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 January 2024, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LOGICS FROM ULTRAFILTERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 28 November 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 June 2022, pp. 620-639
- Print publication:
- June 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
EUCLIDEAN NUMBERS AND NUMEROSITIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 21 February 2022, pp. 112-146
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 August 2021, pp. 1584-1611
- Print publication:
- December 2021
-
- Article
- Export citation
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 624-644
- Print publication:
- September 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE COPERNICAN MULTIVERSE OF SETS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 14 June 2021, pp. 1033-1069
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RAMSEY’S COHEIRS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 15 February 2021, pp. 377-391
- Print publication:
- March 2022
-
- Article
- Export citation
CONGRUENCE OF ULTRAFILTERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 746-761
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 08 January 2021, pp. 783-801
- Print publication:
- June 2022
-
- Article
- Export citation
DISJUNCTIONS WITH STOPPING CONDITIONS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 231-253
- Print publication:
- September 2021
-
- Article
- Export citation
A characterization of singular Schrödinger operators on the half-line
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 64 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 07 December 2020, pp. 923-941
- Print publication:
- December 2021
-
- Article
- Export citation
Transient behaviour of a Galton–Watson process with a large number of types
- Part of
-
- Journal:
- Journal of Applied Probability / Volume 40 / Issue 4 / September 2003
- Published online by Cambridge University Press:
- 14 July 2016, pp. 1007-1030
- Print publication:
- September 2003
-
- Article
- Export citation