Model Theory

Model Theory (2000)

Cached

Download Links

[wilfridhodges.co.uk]

by Wilfrid Hodges

Citations:

448 - 4 self

BibTeX

@MISC{Hodges00modeltheory,
    author = {Wilfrid Hodges},
    title = {Model Theory},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

517	Mental models - Johnson-Laird - 1983
460	A decision method for elementary algebra and geometry - TARSKI - 1951
233	Structure and complexity of relational queries - Chandra, Harel - 1982
183	den Dries. Tame Topology and O-minimal Structures - van - 1998
171	Admissible Sets and Structures - Barwise - 1975
160	Classification theory and the number of non-isomorphic models - Shelah - 1978
156	On the structure of abstract algebras - Birkhoff - 1935
146	Applications of games to the completeness problem for formalized theories - Ehrenfeucht - 1961
141	Permutation Groups - Cameron - 1999
129	An Investigation of The Laws of Thought - Boole - 1954
86	Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt - Presburger - 1930
85	Definable sets in ordered structures - Pillay, Steinhorn - 1986
77	Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function - Wilkie - 1996
73	The Descriptive Set Theory of Polish Group Actions, Cambridge Univ - Becker, Kechris - 1996
71	A difficulty in the concept of social welfare - Arrow - 1950
70	den Dries. p-adic and real subanalytic sets - Denef, van - 1988
69	Toward logic tailored for computational complexity - Gurevich - 1984
64	The rationality of the poincaré series associated to the p-adic points on a variety - Denef - 1984
64	A Mathematical Incompleteness in Peano Arithmetic, in Handbook for Mathematical Logic - Paris, Harrington - 1977
62	On Moschovakis closure ordinals - Barwise
62	The principles of mathematics revisited - Hintikka - 1996
58	The first order properties of products of algebraic systems - Feferman, Vaught - 1959
58	Undecidable Theories - Tarski, Mostowski, et al. - 1953
57	Diophantine problems over local fields - Ax - 1965
57	Accessible categories: The foundations of categorical model theory - Makkai, Paré - 1989
56	The Mordell-Lang conjecture for function fields - Hrushovski - 1996
49	Beiträge zur Begründung der transfiniten Mengenlehre - Cantor
49	Complete Theories - Robinson - 1956
48	The Elementary Theory of Finite Fields - Ax - 1968
44	Classification theory for nonelementary classes. I. the number of uncountable models of ψ ∈ Lω1ω part A - Shelah - 1983
43	On definable subsets of p-adic fields - Macintyre - 1976
40	On Strongly Minimal Sets - Baldwin, Lachlan
40	Adeles and Algebraic Geometry - Weil - 1982
38	Forking in simple unstable theories - Kim - 1998
38	Non Structure Theory - Shelah - 2000
34	Introduction to logic and to the methodology of deductive sciences (3rd ed - Tarski - 1965
33	Contributions to the theory of models - Tarski - 1954
32	Homogeneous graphs - Gardiner - 1976
32	Die Vollständigkeit der Axiome des logischen Funktionenkalküls - Gödel - 1930
32	Categoricity in power - Morley - 1965
32	Cours de théorie des modèles, Nur al-Mantiq wal-Mari’fah - Poizat - 1985
30	Sur l’extension aux relations de quelques propriétés des ordres. Annales Scientifiques de l’ École Normale Supérieure Troisième Série - Fraïssé - 1954
30	The completeness of the first-order functional calculus - Henkin - 1949
30	Extending partial automorphisms and the profinite topology on free groups - Herwig, Lascar - 2000
28	Infinite abelian groups, Whitehead problem and some constructions - Shelah - 1974
27	Strongly minimal expansions of algebraically closed fields - Hrushovski - 1992
26	1908: Grundzüge einer Theorie der geordneten - Hausdorff
26	On the Algebra of Logic - Peirce - 1885
24	den Dries, Remarks on Tarski’s problem concerning - van - 1984
23	Une théorie de Galois imaginaire - Poizat - 1983