Model Theory (2000)

Cached

Download Links

by Wilfrid Hodges
Citations:540 - 4 self

Active Bibliography

4 Boolean relation theory and . . . – Harvey M. Friedman - 2011
19 Higher Order Logic – Daniel Leivant - 1994
Model Theory and Real Exponentiation – David Marker
INTRODUCTION TO O-MINIMAL STRUCTURES AND AN APPLICATION TO NEURAL NETWORK LEARNING – Marcus Tressl
2 COUNTING SPECIAL POINTS: LOGIC, DIOPHANTINE GEOMETRY AND TRANSCENDENCE THEORY – Thomas Scanlon
O-MINIMALITY AS AN APPROACH TO THE ANDRÉ-OORT CONJECTURE – 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
1 Notes on o-minimality and variations – Dugald MacPherson - 2000
A PROOF OF THE ANDRÉ-OORT CONJECTURE VIA MATHEMATICAL LOGIC – After Pila, Thomas Scanlon
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
8 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
16 A Version of O-Minimality for the P-Adics – Deirdre Haskell, Dugald Macpherson - 1994
Classical Model Theory of Fields – Lou Van Den Dries - 2000
2 Aggregate Operators in Constraint Query Languages – Michael Benedikt, Leonid Libkin - 2002