13629 results in The Journal of Symbolic Logic
On the proof theory of the intermediate logic MH1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-647
- Print publication:
- September 1986
-
- Article
- Export citation
Pκλ combinatorics II: The RK ordering beneath a supercompact measure
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-616
- Print publication:
- September 1986
-
- Article
- Export citation
Some elementary degree-theoretic reasons why structures need similarity types
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 732-747
- Print publication:
- September 1986
-
- Article
- Export citation
JSL volume 51 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1986
-
- Article
-
- You have access
- Export citation
The independence relation in separably closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-725
- Print publication:
- September 1986
-
- Article
- Export citation
Yu. I. Manin. A course in mathematical logic. Translated from the Russian by Neal Koblitz. Graduate texts in mathematics, vol. 53. Springer-Verlag, New York, Heidelberg, and Berlin, 1977, xiii + 286 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-830
- Print publication:
- September 1986
-
- Article
- Export citation
Some properties of epistemic set theory with collection
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 748-754
- Print publication:
- September 1986
-
- Article
- Export citation
Saul A. Kripke. Wittgenstein on rules and private language. An elementary exposition. Harvard University Press, Cambridge, Mass., 1982, x + 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 819-821
- Print publication:
- September 1986
-
- Article
- Export citation
Small filter forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-546
- Print publication:
- September 1986
-
- Article
- Export citation
Dirk van Dalen. Logic and structure. Universitext. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, ix + 172 pp. - Dirk van Dalen. Logic and structure. Second edition of the preceding. Universitext. Springer-Verlag, Berlin etc. 1983, x + 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 826-827
- Print publication:
- September 1986
-
- Article
- Export citation
Lattice embeddings into the recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-272
- Print publication:
- June 1986
-
- Article
- Export citation
Recursive categoricity and persistence
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-434
- Print publication:
- June 1986
-
- Article
- Export citation
On the Kleene degrees of Π 1 1 sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-359
- Print publication:
- June 1986
-
- Article
- Export citation
Replacement and collection: a correction
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1986
-
- Article
-
- You have access
- Export citation
ω 1-like recursively saturated models of Presburger's arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-429
- Print publication:
- June 1986
-
- Article
- Export citation
Flagg realizability in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-392
- Print publication:
- June 1986
-
- Article
- Export citation
Prime models and almost decidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-420
- Print publication:
- June 1986
-
- Article
- Export citation
JSL volume 51 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1986
-
- Article
-
- You have access
- Export citation
Theories with finitely many models
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-376
- Print publication:
- June 1986
-
- Article
- Export citation
European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-502
- Print publication:
- June 1986
-
- Article
- Export citation