13629 results in The Journal of Symbolic Logic
Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 884-892
- Print publication:
- September 1983
-
- Article
- Export citation
The τ-theory for free groups is undecidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-703
- Print publication:
- September 1983
-
- Article
- Export citation
Richard Laver. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 (for 1976, pub. 1977), pp. 151–169. - James E. Baumgartner and Richard Laver. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 (1979), pp. 271–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 882-883
- Print publication:
- September 1983
-
- Article
- Export citation
Orbits of hyperhypersimple sets and the lattice of Σ03 sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-699
- Print publication:
- September 1983
-
- Article
- Export citation
Sentences implying their own provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-789
- Print publication:
- September 1983
-
- Article
- Export citation
Intermediate β-r.e. degrees and the half-jump
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 790-796
- Print publication:
- September 1983
-
- Article
- Export citation
Tadeusz Kubiński. An outline of the logical theory of questions. Akademie-Verlag, Berlin1980, 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-875
- Print publication:
- September 1983
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. 911
- Print publication:
- September 1983
-
- Article
- Export citation
Forcing and reductibilities. II. Forcing in fragments of analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 724-743
- Print publication:
- September 1983
-
- Article
- Export citation
Kleene index sets and functional m-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-840
- Print publication:
- September 1983
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Philadelphia 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 898-910
- Print publication:
- September 1983
-
- Article
- Export citation
A selection theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-594
- Print publication:
- September 1983
-
- Article
- Export citation
Incompatible extensions of combinatorial functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-755
- Print publication:
- September 1983
-
- Article
- Export citation
Church's thesis without tears
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 797-803
- Print publication:
- September 1983
-
- Article
- Export citation
JSL volume 48 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
- Print publication:
- September 1983
-
- Article
-
- You have access
- Export citation
Degrees of recursively enumerable topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-622
- Print publication:
- September 1983
-
- Article
- Export citation
On forcing without the continuum hypothesis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-661
- Print publication:
- September 1983
-
- Article
- Export citation
Games played on Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-723
- Print publication:
- September 1983
-
- Article
- Export citation
Sets constructed from sequences of measures: Revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-609
- Print publication:
- September 1983
-
- Article
- Export citation
Interpreting second-order logic in the monadic theory of order1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 816-828
- Print publication:
- September 1983
-
- Article
- Export citation