22 results
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 09 March 2023, pp. 406-452
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 10 February 2023, pp. 465-502
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- 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
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
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 July 2022, pp. 1138-1169
- Print publication:
- September 2023
-
- Article
-
- You have access
- HTML
- Export citation
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1374-1395
- Print publication:
- December 2022
-
- 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
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 168-186
- Print publication:
- June 2021
-
- Article
- Export citation
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 25 March 2021, pp. 425-448
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 07 January 2021, pp. 437-497
- Print publication:
- June 2022
-
- Article
- Export citation
ON MORITA EQUIVALENCE AND INTERPRETABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 13 August 2019, pp. 388-415
- Print publication:
- June 2020
-
- Article
- 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
A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 13 February 2019, pp. 226-265
- Print publication:
- March 2019
-
- Article
- Export citation
AXIOMATIZATION OF PROVABLE n-PROVABILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 08 February 2019, pp. 849-869
- Print publication:
- June 2019
-
- Article
- Export citation
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 991-1012
- Print publication:
- September 2018
-
- Article
- Export citation
CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 740-765
- Print publication:
- June 2018
-
- Article
- Export citation
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 642-668
- Print publication:
- June 2018
-
- Article
- Export citation
INTUITIONISTIC ANALYSIS AT THE END OF TIME
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 279-295
- Print publication:
- September 2017
-
- Article
- Export citation
MARGINALIA ON A THEOREM OF WOODIN
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 March 2017, pp. 359-374
- Print publication:
- March 2017
-
- Article
- Export citation