| Model-Theoretic Institutionalism as a Way Forward |
Economic Theory Stall |
David Braybrooke |
Dialogue |
1995-01-01 |
| Model theory |
Wilfrid Hodges |
Anand Pillay |
The Journal of Symbolic Logic |
1995 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19 |
J T Baldwin |
John B. Goode |
The Journal of Symbolic Logic |
1990 |
| Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles |
Daniel Lascar |
Anand Pillay |
The Journal of Symbolic Logic |
1990 |
| Model theory and modules |
Mike Prest |
T. G. Kucera |
The Journal of Symbolic Logic |
1989 |
| Model theory and algebra, A memorial tribute to Abraham Robinson |
D. H. Saracino |
Alexander Prestel |
The Journal of Symbolic Logic |
1987 |
| Model Theory and Algebra, V1 |
Abraham Robinson |
Guy Hirsch |
Dialectica |
1986-01-01 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| Model Theory for Modal Logic |
Kenneth A Bowen |
Christine Pühringer |
Conceptus: Zeitschrift für Philosophie |
1982-01-01 |
| Rights, and Manners: A Model for Historians of Political Thought |
Virtues |
J.G.A. Pocock |
Political Theory |
1981-08-01 |
| F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors |
F William Lawvere |
M. E. Szabo |
The Journal of Symbolic Logic |
1981 |
| Model theory for modal logic. Kripke models for modal predicate calculi |
Kenneth A. Bowen |
Rob Goldblatt |
The Journal of Symbolic Logic |
1981 |
| Non-Classical Logics, Model Theory and Computability A. I. Arruda R. Chuaqui N. C. A. da Costa |
A. I. Arruda |
Carlos Lungarzo |
Crítica: Revista Hispanoamericana de Filosofía |
1980-04-00 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
Mary Tiles |
Philosophical Books |
1979-10-01 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
John T. Baldwin |
The Journal of Symbolic Logic |
1979 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1978-04-01 |
| Large infinitary languages. Model theory |
M. A. Dickmann |
Michael Makkai |
The Journal of Symbolic Logic |
1978 |
| Causal Explanation and Model Building |
Peter D McClelland |
David Braybrooke |
History & Theory |
1977-10-01 |
| Model theory |
C. C. Chang and H. J. Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Model theory |
H J Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Saturated model theory. Photolithographed from typewritten manuscript |
Gerald E. Sacks |
Michael Makkai |
The Journal of Symbolic Logic |
1975 |
| Forcing in model theory. Symposia mathematica, vol |
Abraham Robinson |
H. Jerome Keisler |
The Journal of Symbolic Logic |
1975 |
| The Process of Model-Building in the Behavioral Sciences |
Ralph M Stogdill |
Michael Ruse |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1974-02-01 |
| R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
Carl E. Gordon |
The Journal of Symbolic Logic |
1973 |
| Model theory |
H. Jerome Keisler |
C. C. Chang |
The Journal of Symbolic Logic |
1973 |
| Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers |
H. Jerome Keisler |
E. G. K. López-Escobar |
The Journal of Symbolic Logic |
1973 |
| H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Jerome Malitz |
The Journal of Symbolic Logic |
1973 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1972 |
| Elements of Mathematical Logic: Model Theory |
G Kreisel |
J S Esplugues |
Teorema |
1971-03-01 |
| W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Louis Narens |
The Journal of Symbolic Logic |
1971 |
| Intuitionistic logic model theory and forcing |
Melvin Chris Fitting |
F. R. Drake |
The Journal of Symbolic Logic |
1971 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
The Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
The Journal of Symbolic Logic |
1970 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| Some problems in logical model-theory |
Lars Svenonius |
William Hanf |
The Journal of Symbolic Logic |
1966-09-02 |
| Introduction to model theory and to the metamathematics of algebra |
Abraham Robinson |
Carol R. Karp |
The Journal of Symbolic Logic |
1964 |
| Foundations of Statistical Learning Theory, I. The Linear Model for Simple Learning |
W. K. Estes |
W. Mays |
The British Journal for the Philosophy of Science |
1959-11-01 |