18 results
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 1484-1509
- Print publication:
- December 2019
-
- Article
- Export citation
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1315-1343
- Print publication:
- December 2016
-
- Article
- Export citation
The Script Concordance Test: A New Tool Assessing Clinical Judgement in Neurology
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 36 / Issue 3 / May 2009
- Published online by Cambridge University Press:
- 02 December 2014, pp. 326-331
-
- Article
-
- You have access
- Export citation
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 18 August 2014, pp. 792-813
- Print publication:
- September 2014
-
- Article
- Export citation
Principles Weaker than BD-N
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-885
- Print publication:
- September 2013
-
- Article
- Export citation
On the failure of BD-ℕ and BD, and an application to the anti-specker property
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-56
- Print publication:
- March 2013
-
- Article
- Export citation
Rudolf Taschner. The Continuum. Friedrich Vieweg & Sohn Verlag, Wiesbaden, Germany, 2005, 136 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 260-262
- Print publication:
- June 2008
-
- Article
- Export citation
Ian Chiswell and Wilfrid Hodges. Mathematical logic. Oxford Texts in Logic, vol. 3. Oxford University Press, Oxford, England, 2007, 250 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 265-267
- Print publication:
- June 2008
-
- Article
- Export citation
IKP and friends
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1295-1322
- Print publication:
- December 2002
-
- Article
- Export citation
μ-definable sets of integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-313
- Print publication:
- March 1993
-
- Article
- Export citation
A. Louveau. Some results in the Wadge hierarchy of Borel sets. 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 etc. 1983, pp. 28–55. - A. Louveau and J. Saint Raymond. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 (1987), pp. 431–467. - Alain Louveau and Jean Saint Raymond. The strength of Borel Wadge determinacy. 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 etc. 1988, pp. 1–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-266
- Print publication:
- March 1992
-
- Article
- Export citation
An introduction to γ-recursion theory (or what to do in KP – Foundation)
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-206
- Print publication:
- March 1990
-
- Article
- Export citation
Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 (1983), pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 (1976), pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1109-1111
- Print publication:
- September 1989
-
- Article
- Export citation
Sacks forcing sometimes needs help to produce a minimal upper bound
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-498
- Print publication:
- June 1989
-
- Article
- Export citation
Definability and initial segments of c-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1070-1081
- Print publication:
- December 1988
-
- Article
- Export citation
Correction to “Simple r. e. degree structures”
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1988
-
- Article
- Export citation
Uncountable master codes and the jump hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-958
- Print publication:
- December 1987
-
- Article
- Export citation
Simple r. e. degree structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-213
- Print publication:
- March 1987
-
- Article
- Export citation