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. 1-18
-
- 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. 508-526
- 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. 3134-3136
- 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. 920-938
- 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. 496-528
- 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. 1106-1131
- Print publication:
- September 2017
-
- Article
- Export citation
SQUARE WITH BUILT-IN DIAMOND-PLUS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 08 September 2017, pp. 809-833
- 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. 972-996
- 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. 477-489
- 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. 475-498
- 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. 436-438
- Print publication:
- December 2009
-
- Article
- Export citation
The self-iterability 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. 751-779
- 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. 315-335
- 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. 187-200
- 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. 1145-1154
- 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 172-205
-
- 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. 241-251
- 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 386-401
-
- 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. 371-386
- 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. 118-119
- Print publication:
- March 2004
-
- Article
- Export citation