13629 results in The Journal of Symbolic Logic
Limit ultrapowers and abstract logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-454
- Print publication:
- June 1987
-
- Article
- Export citation
Provability in finite subtheories of PA and relative interpretability: a modal investigation
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-511
- Print publication:
- June 1987
-
- Article
- Export citation
Michael Hallett. Cantorian set theory and limitation of size. Oxford logic guidelines, no. 10. Clarendon Press, Oxford University Press, Oxford and New York1984, xxiii + 343 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 568-570
- Print publication:
- June 1987
-
- Article
- Export citation
David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 233–242. - Julia Knight, Alistair H. Lachlan, and Robert I. Soare. Two theorems on degrees of models of true arithmetic. The journal of symbolic logic, vol. 49 (1984), pp. 425–436.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 562-563
- Print publication:
- June 1987
-
- Article
- Export citation
Edward L. Keenan and Leonard M. Faltz. Boolean semantics for natural language. Synthese language library, vol. 23. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1985, xii + 387 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-555
- Print publication:
- June 1987
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-576
- Print publication:
- June 1987
-
- Article
- Export citation
Moshe Jarden. The elementary theory of ω-free Ax fields. Inventiones mathematicae, vol. 38 no. 2 (1976), pp. 187–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-568
- Print publication:
- June 1987
-
- Article
- Export citation
On nontrivial types of U-rank 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-551
- Print publication:
- June 1987
-
- Article
- Export citation
Systematization of finite many-valued logics through the method of tableaux
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-493
- Print publication:
- June 1987
-
- Article
- Export citation
On partitions of the real line into compact sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-359
- Print publication:
- June 1987
-
- Article
- Export citation
Reduced coproducts of compact Hausdorff spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-424
- Print publication:
- June 1987
-
- Article
- Export citation
Term models for weak set theories with a universal set
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-387
- Print publication:
- June 1987
-
- Article
- Export citation
Richard Laver. On Fraïssé's order type conjecture. Annals of mathematics, ser. 2 vol. 93 (1971), pp. 89–111. - Richard Laver. An order type decomposition theorem. Annals of mathematics, ser. 2 vol. 98 (1973) pp. 96–119. - Richard Laver. Better-quasi-orderings and a class of trees. Studies in foundations and combinatorics, edited by Gian-Carlo Rota, Advances in mathematics supplementary studies, vol. 1, Academic Press, New York, San Francisco, and London, 1978, pp. 31–48. - Saharon Shelah. Better quasi-orders for uncountable cardinals. Israel journal of mathematics, vol. 42 (1982), pp. 177–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-574
- Print publication:
- June 1987
-
- Article
- Export citation
A note on elementary equivalence of C(K) spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-373
- Print publication:
- June 1987
-
- Article
- Export citation
Compact numeral representation with combinators
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-525
- Print publication:
- June 1987
-
- Article
- Export citation
JSL volume 52 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1987
-
- Article
-
- You have access
- Export citation
Semiproper forcing axiom implies Martin maximum but not PFA+
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-367
- Print publication:
- June 1987
-
- Article
- Export citation
Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 (1981), pp. 101–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 568
- Print publication:
- June 1987
-
- Article
- Export citation
Inconsistent nonstandard arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-518
- Print publication:
- June 1987
-
- Article
- Export citation
Ermanno Bencivenga. Una logica dei termini singolari. Serie di logica matematica. Boringhieri, Turin1980, 162 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-561
- Print publication:
- June 1987
-
- Article
- Export citation