32 results
ON CUPPING AND AHMAD PAIRS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 December 2022, pp. 1-12
-
- Article
- Export citation
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 15 August 2022, pp. 1170-1190
- Print publication:
- September 2023
-
- Article
- Export citation
COMPUTABLE LINEAR ORDERS AND PRODUCTS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 605-623
- Print publication:
- June 2020
-
- Article
- Export citation
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 15 August 2016, pp. 997-1006
- Print publication:
- September 2016
-
- Article
- Export citation
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 287-288
- Print publication:
- June 2016
-
- Article
- Export citation
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 116-144
- Print publication:
- March 2015
-
- Article
- Export citation
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 145-178
- Print publication:
- March 2015
-
- Article
- Export citation
Ulrich Felgner. Das Induktions-Prinzip. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 114, no. 1 (2012), pp. 23–45. - Ulrich Felgner. Hilbert’s “Grundlagen der Geometrie” und ihre Stellung in der Geschichte der Grundlagendiskussion. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 115, no. 3-4 (2014), pp. 185–206.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 201-202
- Print publication:
- June 2014
-
- Article
- Export citation
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 60-88
- Print publication:
- March 2014
-
- Article
- Export citation
On Downey's conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-441
- Print publication:
- June 2010
-
- Article
- Export citation
On computable self-embeddings of computable linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1352-1366
- Print publication:
- December 2009
-
- Article
- Export citation
A decomposition of the Rogers semilattice of a family of d.c.e. sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-640
- Print publication:
- June 2009
-
- Article
- Export citation
Stability and posets
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-711
- Print publication:
- June 2009
-
- Article
- Export citation
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 123-159
- Print publication:
- March 2008
-
- Article
- Export citation
Embedding finite lattices into the computably enumerable degrees — a status survey
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 206-229
-
- Chapter
- Export citation
Computable categoricity of trees of finite height
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-215
- Print publication:
- March 2005
-
- Article
- Export citation
Comparing DNR and WWKL
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1104
- Print publication:
- December 2004
-
- Article
- Export citation
Contiguity and distributivity in the enumerable Turing degrees — Corrigendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1579-1580
- Print publication:
- December 2002
-
- Article
- Export citation
Embedding finite lattices into the Σ20 enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-90
- Print publication:
- March 2002
-
- Article
- Export citation
A Δ20 set with no infinite low subset in either it or its complement
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1371-1381
- Print publication:
- September 2001
-
- Article
- Export citation