13629 results in The Journal of Symbolic Logic
Strong analogues of Martin's axiom Imply Axiom R
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-218
- Print publication:
- March 1987
-
- Article
- Export citation
A strongly minimal expansion of (ω, s)
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-207
- Print publication:
- March 1987
-
- Article
- Export citation
Michael J. Beeson. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
- Print publication:
- March 1987
-
- Article
- Export citation
J. W. Lloyd. Foundations of logic programming. Symbolic computation. Artifical intelligence. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, x + 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- March 1987
-
- Article
- Export citation
Morasses and the Lévy-collapse
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-115
- Print publication:
- March 1987
-
- Article
- Export citation
Martin D. Davis and Elaine J. Weyuker. Comparability, complexity, and languages. Fundamentals of theoretical computer science. Computer science and applied mathematics. Academic Press, New York etc. 1983, xix + 425 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- March 1987
-
- Article
- Export citation
Classifying the computational complexity of problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-43
- Print publication:
- March 1987
-
- Article
- Export citation
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-110
- Print publication:
- March 1987
-
- Article
- Export citation
C. P. J. Koymans. Models of the lambda calculus. CWI tract no. 9. Centrum voor Wiskunde en Informatica, Amsterdam 1984, iii + 181 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
- Print publication:
- March 1987
-
- Article
- Export citation
Prikry forcing at κ+ and beyond
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-50
- Print publication:
- March 1987
-
- Article
- Export citation
J. B. Paris. A hierarchy of cuts in models of arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 312–337. - George Mills. A tree analysis of unprovable combinatorial statements. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, pp. 248–311. - Jussi Ketonen and Robert Solovay. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 (1981), pp. 267–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1062-1066
- Print publication:
- December 1986
-
- Article
- Export citation
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 (1978), pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 (1976), pp. 33–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1066-1068
- Print publication:
- December 1986
-
- Article
- Export citation
On a combinatorial principle of Hajnal and Komjáth
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1056-1060
- Print publication:
- December 1986
-
- Article
- Export citation
JSL volume 51 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 1986
-
- Article
-
- You have access
- Export citation
Alfred Tarski and undecidable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 890-898
- Print publication:
- December 1986
-
- Article
- Export citation
Bad models in nice neighborhoods
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1043-1055
- Print publication:
- December 1986
-
- Article
- Export citation
Transfer principles for pseudo real closed e-fold ordered fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 981-991
- Print publication:
- December 1986
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
- Print publication:
- December 1986
-
- Article
- Export citation
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 (1980), pp. 156–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1084
- Print publication:
- December 1986
-
- Article
- Export citation
JSL volume 51 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1986
-
- Article
-
- You have access
- Export citation