29 results
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 23 December 2022, pp. 1-37
-
- 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
BI-INTERPRETATION IN WEAK SET THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 30 October 2020, pp. 609-634
- Print publication:
- June 2021
-
- Article
- Export citation
THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 29 July 2020, pp. 869-905
- Print publication:
- September 2020
-
- Article
- 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
THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 10 June 2019, pp. 1403-1421
- Print publication:
- December 2019
-
- Article
- Export citation
ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 01 May 2018, pp. 146-164
- Print publication:
- March 2018
-
- Article
- Export citation
Frontmatter
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp v-vi
-
- Chapter
- Export citation
Introduction
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 1-13
-
- Chapter
- Export citation
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 33-49
-
- Chapter
- Export citation
Effective Mathematics of the Uncountable
-
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013
Preface
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp vii-viii
-
- Chapter
- Export citation
Pointwise definable models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-156
- Print publication:
- March 2013
-
- Article
- Export citation
THE SET-THEORETIC MULTIVERSE
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 09 August 2012, pp. 416-449
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
Degrees of rigidity for Souslin trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-454
- Print publication:
- June 2009
-
- Article
- Export citation
Changing the heights of automorphism towers by forcing with Souslin trees over L
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-633
- Print publication:
- June 2008
-
- Article
- Export citation
George Tourlakis. Lectures in Logic and Set Theory, volumes 1 and 2. Cambridge studies in advanced mathematics, vol. 83. Cambridge University Press, Cambridge, UK, 2003. xi + 328 and xv + 575 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-243
- Print publication:
- June 2005
-
- Article
- Export citation
Exactly controlling the non-supercompact strongly compact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-688
- Print publication:
- June 2003
-
- Article
- Export citation