Related Citations

JOURNAL ARTICLE published December 1956 in Journal of Symbolic Logic

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 ARTICLE published June 1983 in Journal of Symbolic Logic

Authors: Stephen D. Comer

Sets which do not have subsets of every higher degree

JOURNAL ARTICLE published March 1978 in Journal of Symbolic Logic

Authors: Stephen G. Simpson

Hans G. Herzberger. The truth-conditional consistency of natural languages. The journal of philosophy, vol. 64 (1967), pp. 29–35.

JOURNAL ARTICLE published 26 April 1968 in Journal of Symbolic Logic

Authors: Alonzo Church

Internal consistency for embedding complexity

JOURNAL ARTICLE published September 2008 in Journal of Symbolic Logic

Authors: Sy-David Friedman | Catherine Thompson

Robert McNaughton. A theorem about infinite-valued sentential logic. The journal of symbolic logic, vol. 16 (1951), pp. 1–13.

JOURNAL ARTICLE published September 1951 in Journal of Symbolic Logic

Authors: H. E. Vaughan

Akiko Kino. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 346–356.

JOURNAL ARTICLE published March 1972 in Journal of Symbolic Logic

Authors: Hilbert Levitz

On Post's canonical systems

JOURNAL ARTICLE published March 1962 in Journal of Symbolic Logic

Authors: Raymond M. Smullyan

Jean van Heijenoort. Preface. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 1–12. - Claude Chevalley and Albert Lautman. Notice biographique sur Jacques Herbrand. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 13–15. (Reprinted from Annuaire de l'Association Amicale de Secours des Anciens Élèves de l'École Normale Supérieure (1931), pp. 66–68.) - Claude Chevalley. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 17–20. - Jacques Herbrand. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 21–23. - Jacques Herbrand. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 25–26. - Jacques Herbrand. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 27–29. - Jacques Herbrand. Sur le problème fondamental des mathématiques. A reprint of 3824. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 31–33. - Jacques Herbrand. Recherches sur la théorie de la démonstration. A reprint of 3825. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 35–153. - Jacques Herbrand. Les bases de la logique hilbertienne. A reprint of 3826. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 155–166. - Jacques Herbrand. Sur le problème fondamental de la logique mathématique. A reprint of 3827. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 167–207. - Jacques Herbrand. Note non signée sur la thèse de Herbrand, écrite par Herbrand lui-même. A reprint, with new title, of 3827.1. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 209–214. - Jacques Herbrand. Notice pour Jacques Hadamard. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 215–219. - Jacques Herbrand. Sur la non-contradiction de l'arithmétique. A reprint of 3828. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 221–232.

JOURNAL ARTICLE published September 1971 in Journal of Symbolic Logic

Authors: Paul Bernays

Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 (1981), pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 (1980), pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 (1982), pp. 43–122.

JOURNAL ARTICLE published December 1988 in Journal of Symbolic Logic

Authors: F. W. Kroon

Constructive assertions in an extension of classical mathematics

JOURNAL ARTICLE published June 1982 in Journal of Symbolic Logic

Authors: Vladimir Lifschitz

G. E. Minc. Priložénié. Téoréma Erbrana (Appendix. Herbrand's theorem). Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 311–350.

JOURNAL ARTICLE published June 1970 in Journal of Symbolic Logic

Authors: J. van Heijenoort

Antonio Monteiro. Construction des algèbres de Nelson finies. Notas de lógica matemática no. 15, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1964, 11 pp. (Reprinted from Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 359–362.)

JOURNAL ARTICLE published March 1971 in Journal of Symbolic Logic

Authors: David Nelson

James Thomson. Infinity in mathematics and logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 183–190.

JOURNAL ARTICLE published June 1970 in Journal of Symbolic Logic

Authors: William Craig

A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS

JOURNAL ARTICLE published December 2015 in The Journal of Symbolic Logic

Authors: ANTONGIULIO FORNASIERO | PHILIPP HIERONYMI

Adding linear orders

JOURNAL ARTICLE published June 2012 in The Journal of Symbolic Logic

Authors: Saharon Shelah | Pierre Simon

An incompleteness theorem for β_n-models

JOURNAL ARTICLE published June 2004 in Journal of Symbolic Logic

Authors: Carl Mummert | Stephen G. Simpson

On a problem of C. H. Dowker

JOURNAL ARTICLE published December 1991 in Journal of Symbolic Logic

Authors: Z. Balogh | G. Gruenhage

Self-verifying axiom systems, the incompleteness theorem and related reflection principles

JOURNAL ARTICLE published June 2001 in Journal of Symbolic Logic

Authors: Dan E. Willard

Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators

JOURNAL ARTICLE published September 2004 in Journal of Symbolic Logic

Authors: Toshiyasu Arai