23 results
COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 05 February 2018, pp. 208-236
- Print publication:
- March 2018
-
- Article
- Export citation
Hypermachines
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-636
- Print publication:
- June 2011
-
- Article
- Export citation
Generic Σ31 absoluteness
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-80
- Print publication:
- March 2004
-
- Article
- Export citation
Universally Baire sets and definable well-orderings of the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1065-1081
- Print publication:
- December 2003
-
- Article
- Export citation
Cardinal-preserving extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1163-1170
- Print publication:
- December 2003
-
- Article
- Export citation
Classification theory and 0#
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-588
- Print publication:
- June 2003
-
- Article
- Export citation
0# and inner models
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 924-932
- Print publication:
- September 2002
-
- Article
- Export citation
James E. Baumgartner. On the size of closed unbounded sets. Annals of pure and applied logic, vol. 54 (1991), pp. 195–227.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-539
- Print publication:
- December 2001
-
- Article
- Export citation
Generic saturation
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-162
- Print publication:
- March 1998
-
- Article
- Export citation
An Elementary Approach to the Fine Structure of L
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 453-468
- Print publication:
- December 1997
-
- Article
- Export citation
Coding without fine structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 808-815
- Print publication:
- September 1997
-
- Article
- Export citation
1996–97 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 378-396
- Print publication:
- September 1997
-
- Article
- Export citation
Jensen's Σ* theory and the combinatorial content of V = L
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1096-1104
- Print publication:
- September 1994
-
- Article
- Export citation
The genericity conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-614
- Print publication:
- June 1994
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Durham, 1992
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-382
- Print publication:
- March 1993
-
- Article
- Export citation
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-264
- Print publication:
- March 1992
-
- Article
- Export citation
Coding over a measurable cardinal
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1145-1159
- Print publication:
- December 1989
-
- Article
- Export citation
Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 (1983), pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 (1988), pp. 179–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1497
- Print publication:
- December 1989
-
- Article
- Export citation
A. Beller, R. Jensen, and P. Welch. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 1081
- Print publication:
- December 1985
-
- Article
- Export citation
A guide to “Coding the universe” by Beller, Jensen, Welch
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1002-1019
- Print publication:
- December 1985
-
- Article
- Export citation