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. 889918
 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. 13011321
 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. 13851395
 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. 112154
 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. 14661483
 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. 349371
 Print publication:
 March 2018

 Article
 Export citation
HYPERCLASS FORCING IN MORSEKELLEY CLASS THEORY

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
 Published online by Cambridge University Press:
 19 June 2017, pp. 549575
 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. 10471068
 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. 395399
 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. 730762
 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. 661670
 Print publication:
 June 2015

 Article
 Export citation
LARGE CARDINALS AND LIGHTFACE DEFINABLE WELLORDERS, 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. 251284
 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. 803823
 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. 7796
 Print publication:
 March 2013

 Article
 Export citation
Definable wellorders 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. 11011121
 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. 261267
 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. 122132
 Print publication:
 March 2012

 Article
 Export citation
BPFA and projective wellorderings 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. 11261136
 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. 13811402
 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. 9871004
 Print publication:
 September 2011

 Article
 Export citation