13629 results in The Journal of Symbolic Logic
Axioms for the set-theoretic hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 992-1004
- Print publication:
- December 1986
-
- Article
- Export citation
Individual Members 1986
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1142
- Print publication:
- December 1986
-
- Article
- Export citation
Degrees coded in jumps of orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1034-1042
- Print publication:
- December 1986
-
- Article
- Export citation
Conservative extensions of models of set theory and generalizations
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1021
- Print publication:
- December 1986
-
- Article
- Export citation
Theodore Baker, John Gill, and Robert Solovay. Relativizations of the = ? question. SIAM journal on computing, vol. 4 (1975), pp. 431–442. - Charles H. Bennett and John Gill. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 (1981), pp. 96–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1061-1062
- Print publication:
- December 1986
-
- Article
- Export citation
G. S. Makanin. The problem of solvability of equations in a free semigroup. Mathematics of the USSR—Sbornik, vol. 32 (for 1977, pub. 1979), pp. 129–198. (English translation by G. A. Randall of Probléma razréšimosti uravnénij v svobodnoj polugruppé, Matématičéskÿ sbornik, n.s. vol. 103(145) (1977), pp. 147–236.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1070-1071
- Print publication:
- December 1986
-
- Article
- Export citation
The weak □* is really weaker than the full □
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1029-1033
- Print publication:
- December 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1092
- Print publication:
- December 1986
-
- Article
- Export citation
J. L. Bell. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York1985, xx + 165 pp. - Dana Scott. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1077
- Print publication:
- December 1986
-
- Article
- Export citation
Robert Goldblatt. Topoi. The categorial analysis of logic. Revised edition of XLVII 445. Studies in logic and the foundations of mathematics, vol. 98. North-Holland, Amsterdam, New York, and Oxford, 1984, xvi + 551 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1077-1078
- Print publication:
- December 1986
-
- Article
- Export citation
The truth is never simple
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-681
- Print publication:
- September 1986
-
- Article
- Export citation
Inverse topological systems and compactness in abstract model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-794
- Print publication:
- September 1986
-
- Article
- Export citation
Distributive ideals and partition relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-625
- Print publication:
- September 1986
-
- Article
- Export citation
H. Jerome Keisler. An infinitesimal approach to stochastic analysis. Memoirs of the American Mathematical Society, no. 297. American Mathematical Society, Providence1984, x + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 822-824
- Print publication:
- September 1986
-
- Article
- Export citation
Completeness theorem for biprobability models
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-590
- Print publication:
- September 1986
-
- Article
- Export citation
The degrees below a 1-generic degree < 0′
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 770-777
- Print publication:
- September 1986
-
- Article
- Export citation
On ideals of subsets of the plane and on Cohen reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 560-569
- Print publication:
- September 1986
-
- Article
- Export citation
Taking out LK parts from a proof in Peano arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-700
- Print publication:
- September 1986
-
- Article
- Export citation
JSL volume 51 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1986
-
- Article
-
- You have access
- Export citation
Some remarks on definable equivalence relations in O-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 709-714
- Print publication:
- September 1986
-
- Article
- Export citation