7 results
3 - The independence of DC from AD
- from Part VII - Extensions of AD, Models with Choice
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 66-95
-
- Chapter
- Export citation
Introduction to Q-theory
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 126-199
-
- Chapter
- Export citation
A Δ13 coding of the subsets of ωω
- from PART IV - PROJECTIVE ORDINALS
-
-
- Book:
- Wadge Degrees and Projective Ordinals
- Published online:
- 05 December 2011
- Print publication:
- 01 December 2011, pp 346-363
-
- Chapter
- Export citation
The axiom of determinacy and the prewellordering property
- from PART III - WADGE DEGREES AND POINTCLASSES
-
-
- Book:
- Wadge Degrees and Projective Ordinals
- Published online:
- 05 December 2011
- Print publication:
- 01 December 2011, pp 118-140
-
- Chapter
- Export citation
Explicit Henkin sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-93
- Print publication:
- March 1985
-
- Article
- Export citation
Definability of measures and ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-190
- Print publication:
- June 1977
-
- Article
- Export citation
On partitions into stationary sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
- Print publication:
- March 1975
-
- Article
- Export citation