Get started
Keyword

model theory

Description: A branch of mathematical logic that studies mathematical structures through the sentences and theories they satisfy.
Wikidata ID: wiki/Q467606
OpenAlex ID: keywords/model-theory
Model Theory
1966 · C. C. Chang, H. Jerome Keisler · 2,412
Inductive Logic Programming: Theory and methods
1994 · Stephen Muggleton, Luc de Raedt · The Journal of Logic Programming · 1,541
The Semantics of Predicate Logic as a Programming Language
1976 · M. H. Van Emden, R. A. Kowalski · Journal of the ACM · 1,450
PDF
Tame Topology and O-minimal Structures
1998 · L. P. D. van den Dries · Cambridge University Press eBooks · 1,176
Towards a Theory of Declarative Knowledge
1988 · Krzysztof R. Apt, Howard A. Blair, et al. · Elsevier eBooks · 1,151
PDF
Locally Presentable and Accessible Categories
1994 · J. Adamek, J. Rosicky · Cambridge University Press eBooks · 1,127
Model Theory
1993 · Wilfrid Hodges · Cambridge University Press eBooks · 938
Non-monotonic logic I
1980 · Drew McDermott, Jon Doyle · Artificial Intelligence · 912
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp. - C. Smoryński. D.1. The incompleteness theorems. Pp. 821–865. - Helmut Schwichtenberg. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895. - Richard Statman. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912. - Solomon Feferman. D.4. Theories of finite type related to mathematical practice. Pp. 913–971. - A. S. Troelstra. D.5. Aspects of constructive mathematics. Pp. 973–1052. - Michael P. Fourman. D.6. The logic of topoi. Pp. 1053–1090. - Henk P. Barendregt. D.1. The type free lambda calculus. Pp. 1091–1132. - Jeff Paris and Leo Harrington. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142.
1984 · W. A. Howard · Journal of Symbolic Logic · 834
Allgemeine Modelltheorie
1973 · Herbert Stachowiak · Springer eBooks · 830
Dimensional analysis and theory of models
1951 · Henry L. Langhaar · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 755
Admissible Sets and Structures
1975 · Jon Barwise · Perspectives in mathematical logic · 746
Natural Language Semantics
2013 · Anna Szabolcsi · Natural Language Semantics · 702
A model-theoretic coreference scoring scheme
1995 · Marc Vilain, John Burger, et al. · Message Understanding Conference (MUC) · 691
PDF
Model theory: an introduction
2003 · Choice Reviews Online · 674
Admissible Sets and Structures
2017 · Jon Barwise · Cambridge University Press eBooks · 671
An application of games to the completeness problem for formalized theories
1961 · Andrzej Ehrenfeucht · Fundamenta Mathematicae · 609
PDF
A shorter model theory
1997 · Wilfrid Hodges · 590
Tarski's Theory of Truth
1972 · Hartry Field · The Journal of Philosophy · 589
Contributions to the Theory of Logic Programming
1982 · Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 586
PDF
Formal Philosophy: Selected Papers of Richard Montague
1975 · Terence Parsons · The Journal of Philosophy · 585
Geometric categories and o-minimal structures
1996 · Lou van den Dries, Chris Miller · Duke Mathematical Journal · 573
Model-Theoretic Logics
2017 · Cambridge University Press eBooks · 558
Introduction to Mathematical Logic
1987 · Elliott Mendelson · Springer eBooks · 546
An Introduction to Description Logic
2017 · Franz Baader, Ian Horrocks, et al. · Cambridge University Press eBooks · 508
Works count: 12,340
Citation count: 108,100
Year
Topic
Type