- Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
An interpolation theorem.Martin Otto - 2000 - Bulletin of Symbolic Logic 6 (4):447-462.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & John Corcoran (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.details
|
|
Tarski's theory of definition.Wilfrid Hodges - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 94.details
|
|
(1 other version)Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.details
|
|
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..details
|
|
There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.details
|
|
Theory of models with generalized atomic formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.details
|
|
Satisfaction for n-th order languages defined in n-th order languages.William Craig - 1965 - Journal of Symbolic Logic 30 (1):13-25.details
|
|
The Laws of Distribution for Syllogisms.Wilfrid Hodges - 1998 - Notre Dame Journal of Formal Logic 39 (2):221-230.details
|
|
On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.details
|
|
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details
|
|
Essai d'une théorie algébrique des nombres entiers, précédé d’une Introduction logique à une theorie déductive quelconque.Alessandro Padoa - 1901 - Bibliothèque du Congrès International de Philosophie 3:309-365.details
|
|
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.details
|
|
A new look at the interpolation problem.Jacques Stern - 1975 - Journal of Symbolic Logic 40 (1):1-13.details
|
|
(1 other version)Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.details
|
|
(2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.details
|
|
Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe.Alfred Tarski - 1935 - Erkenntnis 5 (1):80-100.details
|
|
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.details
|
|
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.details
|
|
Compactness, interpolation and Friedman's third problem.Daniele Mundici - 1982 - Annals of Mathematical Logic 22 (2):197.details
|
|
Infinitary formulas preserved under unions of models.Bienvenido F. Nebres - 1972 - Journal of Symbolic Logic 37 (3):449-465.details
|
|
Positive results in abstract model theory: a theory of compact logics.J. A. Makowsky & S. Shelah - 1983 - Annals of Pure and Applied Logic 25 (3):263-299.details
|
|
(1 other version)δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.details
|
|
(1 other version)An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.details
|
|
Stationary logic and its friends. I.Alan H. Mekler & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):129-138.details
|
|
Craig's interpolation theorem in some extended systems of logic.Andrzej Mostowski - 1968 - In B. van Rootselaar & Frits Staal (eds.), Logic, methodology and philosophy of science III. Amsterdam,: North-Holland Pub. Co.. pp. 87--103.details
|
|