|
|
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
|
|
21
|
Relational Queries over Interpreted Structures
– Michael Benedikt, Leonid Libkin
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
1
|
Notes on o-minimality and variations
– Dugald MacPherson
- 2000
|
|
|
A PROOF OF THE ANDRÉ-OORT CONJECTURE VIA MATHEMATICAL LOGIC
– After Pila, Thomas Scanlon
|
|
17
|
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
|
|
6
|
Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields
– Jan Denef
- 2000
|
|
4
|
Model theory and exponentiation
– David Marker
- 1996
|
|
27
|
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
|
|
|
2000]Primary 03C98, 11S80, 11S40; Secondary 03C10, 11U09 ANALYTIC P-ADIC CELL DECOMPOSITION AND P-ADIC INTEGRALS
– Raf Cluckers
- 2002
|
|
22
|
Constructible motivic functions and motivic integration, arXiv:math.AG/0410203v2
– Raf Cluckers, François Loeser
- 2005
|
|
12
|
Analytic p-adic cell decomposition and integrals
– Raf Cluckers
|
