Model Theory (2000)

Cached

Download Links

by Wilfrid Hodges
Citations:538 - 4 self

Active Bibliography

18 Higher Order Logic – Daniel Leivant - 1994
3 Boolean relation theory and . . . – Harvey M. Friedman - 2011
Model Theory and Real Exponentiation – David Marker
INTRODUCTION TO O-MINIMAL STRUCTURES AND AN APPLICATION TO NEURAL NETWORK LEARNING – Marcus Tressl
O-MINIMALITY AS AN APPROACH TO THE ANDRÉ-OORT CONJECTURE – Thomas Scanlon
2 COUNTING SPECIAL POINTS: LOGIC, DIOPHANTINE GEOMETRY AND TRANSCENDENCE THEORY – Thomas Scanlon
A Review of: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, . . . – John T. Baldwin
22 Relational Queries over Interpreted Structures – Michael Benedikt, Leonid Libkin
25 Constructible motivic functions and motivic integration – Raf Cluckers, François Loeser - 2008
1 Notes on o-minimality and variations – Dugald MacPherson - 2000
A PROOF OF THE ANDRÉ-OORT CONJECTURE VIA MATHEMATICAL LOGIC [After Pila, . . . – Thomas Scanlon - 2011
20 Finite-Model Theory - A Personal Perspective – Ronald Fagin - 1993
1 A EUCLIDEAN SKOLEM-MAHLER-LECH-CHABAUTY METHOD – Thomas Scanlon
REVIEW OF THE BIRTH OF MODEL THEORY BY CALIXTO BADESA – John T. Baldwin
7 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields – Jan Denef - 2000
5 Model theory and exponentiation – David Marker - 1996
21 Model Theory of Fields – David Marker, Margit Messmer, Anand Pillay - 1996
2 Boolean relation theory and the INCOMPLETENESS PHENOMENA – Harvey M. Friedman - 2007
7 The art of ordinal analysis – Michael Rathjen - 2006