13629 results in The Journal of Symbolic Logic
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 14 November 2022, pp. 342-382
- Print publication:
- March 2024
-
- Article
- Export citation
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 13 October 2022, pp. 469-489
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CANTORIAN MODELS OF PREDICATIVE
$\mathrm {NF}$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 October 2022, pp. 637-645
- Print publication:
- June 2024
-
- Article
- Export citation
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
$\omega _1$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 04 October 2022, pp. 490-509
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 03 October 2022, pp. 562-578
- Print publication:
- June 2023
-
- Article
- Export citation
PARTITION FORCING AND INDEPENDENT FAMILIES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1590-1612
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1-51
-
- Article
- Export citation
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 03 October 2022, pp. 829-857
- Print publication:
- June 2024
-
- Article
- Export citation
FINITIST AXIOMATIC TRUTH
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 26 September 2022, pp. 22-73
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 26 September 2022, pp. 1083-1102
- Print publication:
- September 2023
-
- Article
- Export citation
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 12 September 2022, pp. 80-96
- Print publication:
- March 2024
-
- Article
- Export citation
THE TURING DEGREES AND KEISLER’S ORDER
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 07 September 2022, pp. 331-341
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 26 August 2022, pp. 1-9
-
- Article
- Export citation
JSL volume 87 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 25 August 2022, pp. b1-b2
- Print publication:
- September 2022
-
- Article
-
- You have access
- Export citation
JSL volume 87 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 25 August 2022, pp. f1-f3
- Print publication:
- September 2022
-
- Article
-
- You have access
- Export citation
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 15 August 2022, pp. 1170-1190
- Print publication:
- September 2023
-
- Article
- Export citation
DISTALITY RANK
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 15 August 2022, pp. 704-737
- Print publication:
- June 2023
-
- Article
- Export citation
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 12 August 2022, pp. 835-873
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 August 2022, pp. 664-696
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 July 2022, pp. 1-10
-
- Article
- Export citation