26 results
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 19 June 2023, pp. 118

 Article
 Export citation
THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
 Published online by Cambridge University Press:
 10 March 2022, pp. 508526
 Print publication:
 June 2022

 Article

 You have access
 Open access
 HTML
 Export citation
Material Contrast Information at the limit: Imaging of energy related materials with Backscattered Electrons obtained with Field Emission and the DELTA SEM

 Journal:
 Microscopy and Microanalysis / Volume 27 / Issue S1 / August 2021
 Published online by Cambridge University Press:
 30 July 2021, pp. 31343136
 Print publication:
 August 2021

 Article

 You have access
 Export citation
THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
 Published online by Cambridge University Press:
 23 October 2018, pp. 920938
 Print publication:
 September 2018

 Article
 Export citation
VARSOVIAN MODELS I

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
 Published online by Cambridge University Press:
 01 August 2018, pp. 496528
 Print publication:
 June 2018

 Article
 Export citation
Σ1(κ)DEFINABLE SUBSETS OF H(κ+)

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
 Published online by Cambridge University Press:
 08 September 2017, pp. 11061131
 Print publication:
 September 2017

 Article
 Export citation
SQUARE WITH BUILTIN DIAMONDPLUS

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
 Published online by Cambridge University Press:
 08 September 2017, pp. 809833
 Print publication:
 September 2017

 Article
 Export citation
INNER MODEL THEORETIC GEOLOGY

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
 Published online by Cambridge University Press:
 21 July 2016, pp. 972996
 Print publication:
 September 2016

 Article
 Export citation
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC

 Journal:
 The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
 Published online by Cambridge University Press:
 22 April 2015, pp. 477489
 Print publication:
 June 2015

 Article

 You have access
 Export citation
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1

 Journal:
 The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
 Published online by Cambridge University Press:
 24 February 2017, pp. 475498
 Print publication:
 June 2012

 Article
 Export citation
Ulrich Blau. Die Logik der Unbestimmtheiten und Paradoxien. Philosophische Impulse, vol. 8. Synchron Wissenschaftsverlag der Autoren, Heidelberg, 2008, 960 pp.

 Journal:
 Bulletin of Symbolic Logic / Volume 15 / Issue 4 / December 2009
 Published online by Cambridge University Press:
 15 January 2014, pp. 436438
 Print publication:
 December 2009

 Article
 Export citation
The selfiterability of L[E]

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 751779
 Print publication:
 September 2009

 Article
 Export citation
Stacking mice

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 315335
 Print publication:
 March 2009

 Article
 Export citation
Increasing u2 by a stationary set preserving forcing

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 187200
 Print publication:
 March 2009

 Article
 Export citation
Core models in the presence of Woodin cardinals

 Journal:
 The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
 Published online by Cambridge University Press:
 12 March 2014, pp. 11451154
 Print publication:
 December 2006

 Article
 Export citation
PCF theory and Woodin cardinals


 Book:
 Logic Colloquium '02
 Published online:
 31 March 2017
 Print publication:
 02 March 2006, pp 172205

 Chapter
 Export citation
Iterates of the core model

 Journal:
 The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
 Published online by Cambridge University Press:
 12 March 2014, pp. 241251
 Print publication:
 March 2006

 Article
 Export citation
Mutual stationarity in the coremodel
 from ARTICLES


 Book:
 Logic Colloquium '01
 Published online:
 31 March 2017
 Print publication:
 02 March 2005, pp 386401

 Chapter
 Export citation
A universal extender model without large cardinals in V

 Journal:
 The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
 Published online by Cambridge University Press:
 12 March 2014, pp. 371386
 Print publication:
 June 2004

 Article
 Export citation
N. C. A. Da Costa and F. A. Doria . Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665.

 Journal:
 Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
 Published online by Cambridge University Press:
 15 January 2014, pp. 118119
 Print publication:
 March 2004

 Article
 Export citation