13629 results in The Journal of Symbolic Logic
Incompleteness results in Kripke semantics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-538
- Print publication:
- June 1991
-
- Article
- Export citation
Corrigendum to “Taxonomies of model-theoretically defined topological properties”
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-426
- Print publication:
- June 1991
-
- Article
- Export citation
Presburger arithmetic with unary predicates is Π11 complete
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 637-642
- Print publication:
- June 1991
-
- Article
- Export citation
JSL volume 56 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1991
-
- Article
-
- You have access
- Export citation
Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 592-607
- Print publication:
- June 1991
-
- Article
- Export citation
Indescribable cardinals and elementary embeddings
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-457
- Print publication:
- June 1991
-
- Article
- Export citation
Murray G. Bell. Spaces of ideals of partial functions. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 1–4. - Alan Dow. Compact spaces of countable tightness in the Cohen model. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 55–67. - Peter J. Nyikos. Classes of compact sequential spaces. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 135–159. - Franklin D. Tall. Topological problems for set-theorists. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 194–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-755
- Print publication:
- June 1991
-
- Article
- Export citation
Marian B. Pour-El and J. Ian Richards. Computability in analysis and physics. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1989, xi + 206 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 749-750
- Print publication:
- June 1991
-
- Article
- Export citation
Asymptotic probabilities of existential second-order Gödel sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 427-438
- Print publication:
- June 1991
-
- Article
- Export citation
An axiomatization of the logic with the rough quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-617
- Print publication:
- June 1991
-
- Article
- Export citation
Nonuniformization results for the projective hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 742-748
- Print publication:
- June 1991
-
- Article
- Export citation
Intuitionistic modal logic and set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-516
- Print publication:
- June 1991
-
- Article
- Export citation
Anneaux p-adiquement clos et anneaux de fonctions définissables
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-553
- Print publication:
- June 1991
-
- Article
- Export citation
Wilfrid Hodges. Building models by games. London Mathematical Society student texts, no. 2. Cambridge University Press, Cambridge etc. 1985, vi + 311 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
- Print publication:
- June 1991
-
- Article
- Export citation
Boolean valued Lie algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 731-741
- Print publication:
- June 1991
-
- Article
- Export citation
A generalization of Specker's theorem on typical ambiguity
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-466
- Print publication:
- June 1991
-
- Article
- Export citation
The McKinsey axiom is not canonical
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-562
- Print publication:
- June 1991
-
- Article
- Export citation
Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
- Print publication:
- June 1991
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
- Print publication:
- June 1991
-
- Article
- Export citation
Judith Roitman. Introduction to modern set theory. Pure and applied mathematics. John Wiley & Sons, New York etc. 1990, xiii + 156 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 753
- Print publication:
- June 1991
-
- Article
- Export citation