13629 results in The Journal of Symbolic Logic
JSL volume 48 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1983
-
- Article
-
- You have access
- Export citation
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9(1976), pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 (1976), pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 (1976), pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 (1976), vol. 43 (1978), pp. 572–600.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-485
- Print publication:
- June 1983
-
- Article
- Export citation
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
- Print publication:
- June 1983
-
- Article
- Export citation
An application of ultrapowers to changing cofinality
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-235
- Print publication:
- June 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, San Francisco, 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-513
- Print publication:
- June 1983
-
- Article
- Export citation
Further consistency and independence results in NF obtained by the permutation method
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-238
- Print publication:
- June 1983
-
- Article
- Export citation
Anil Gupta. The logic of common nouns. An investigation in quantified modal logic. Yale University Press, New Haven and London1980, xi + 142 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
- Print publication:
- June 1983
-
- Article
- Export citation
Hubert C. Kennedy. Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xii + 230 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
- Print publication:
- June 1983
-
- Article
- Export citation
The slow-growing and the Graegorczyk hierarchies
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-408
- Print publication:
- June 1983
-
- Article
- Export citation
On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-481
- Print publication:
- June 1983
-
- Article
- Export citation
The countably based functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-474
- Print publication:
- June 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Wellington, New Zealand, 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-526
- Print publication:
- June 1983
-
- Article
- Export citation
Large families of incomparable A-isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-252
- Print publication:
- June 1983
-
- Article
- Export citation
Peter G. Hinman. Recursion-theoretic hierarchies. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1978, XII + 480 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
- Print publication:
- June 1983
-
- Article
- Export citation
Compactness of a supervaluational language
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-386
- Print publication:
- June 1983
-
- Article
- Export citation
On cofinal extensions of models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-262
- Print publication:
- June 1983
-
- Article
- Export citation
A characterization of 2-square Ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-414
- Print publication:
- June 1983
-
- Article
- Export citation
H. Jerome Keisler. The stability function of a theory. The journal of symbolic logic, vol. 43 (1978), pp. 481–486.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
- Print publication:
- June 1983
-
- Article
- Export citation
R. e. presented linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-376
- Print publication:
- June 1983
-
- Article
- Export citation
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 488-495
- Print publication:
- June 1983
-
- Article
- Export citation