38 results
STRUCTURAL PROPERTIES OF THE STABLE CORE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 11 April 2023, pp. 889-918
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
EMBEDDINGS INTO OUTER MODELS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 11 July 2022, pp. 1301-1321
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1385-1395
- Print publication:
- December 2021
-
- Article
- Export citation
UNIVERSISM AND EXTENSIONS OF V
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 21 July 2020, pp. 112-154
- Print publication:
- March 2021
-
- Article
- Export citation
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 16 July 2019, pp. 1466-1483
- Print publication:
- December 2019
-
- Article
- Export citation
THE EIGHTFOLD WAY
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 01 May 2018, pp. 349-371
- Print publication:
- March 2018
-
- Article
- Export citation
HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 549-575
- Print publication:
- June 2017
-
- Article
- Export citation
DEFINABILITY OF SATISFACTION IN OUTER MODELS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1047-1068
- Print publication:
- September 2016
-
- Article
- Export citation
ISOMORPHISM ON HYP
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 03 May 2016, pp. 395-399
- Print publication:
- June 2016
-
- Article
- Export citation
SAFE RECURSIVE SET FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 730-762
- Print publication:
- September 2015
-
- Article
- Export citation
FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 661-670
- Print publication:
- June 2015
-
- Article
- Export citation
LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 251-284
- Print publication:
- March 2015
-
- Article
- Export citation
Killing The GCH Everywhere with a Single Real
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-823
- Print publication:
- September 2013
-
- Article
- Export citation
The hyperuniverse program
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 77-96
- Print publication:
- March 2013
-
- Article
- Export citation
Definable well-orders of H(ω2) and GCH
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1101-1121
- Print publication:
- December 2012
-
- Article
- Export citation
The Stable core
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 261-267
- Print publication:
- June 2012
-
- Article
- Export citation
Isomorphism relations on computable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-132
- Print publication:
- March 2012
-
- Article
- Export citation
BPFA and projective well-orderings of the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1126-1136
- Print publication:
- December 2011
-
- Article
- Export citation
Strong isomorphism reductions in complexity theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1381-1402
- Print publication:
- December 2011
-
- Article
- Export citation
Potential isomorphism of elementary substructures of a strictly stable homogeneous model
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 987-1004
- Print publication:
- September 2011
-
- Article
- Export citation