[图书][B] A course in model theory

K Tent, M Ziegler - 2012 - books.google.com
This concise introduction to model theory begins with standard notions and takes the reader
through to more advanced topics such as stability, simplicity and Hrushovski constructions …

[图书][B] A course in model theory: an introduction to contemporary mathematical logic

B Poizat - 2012 - books.google.com
Can we reproduce the inimitable, or give a new life to what has been af fected by the
weariness of existence? Folks, what you have in your hands is a translation into English of a …

Model theory of difference fields

Z Chatzidakis, E Hrushovski - Transactions of the American Mathematical …, 1999 - ams.org
A difference field is a field with a distinguished automorphism $\sigma $. This paper studies
the model theory of existentially closed difference fields. We introduce a dimension theory …

[图书][B] Simple theories

FO Wagner - 2000 - Springer
Simplicity theory is an extension of stability theory to a wider class of structures, containing,
among others, the random graph, pseudo-finite fields, and fields with a generic …

Stable group theory and approximate subgroups

E Hrushovski - Journal of the American Mathematical Society, 2012 - ams.org
We note a parallel between some ideas of stable model theory and certain topics in finite
combinatorics related to the sum-product phenomenon. For a simple linear group $ G $, we …

Generic structures and simple theories

Z Chatzidakis, A Pillay - Annals of Pure and Applied Logic, 1998 - Elsevier
Generic structures and simple theories Page 1 ELSEVIEK Annals of Pure and Applied Logic 95
(1998) 71-92 ANNALS OF PURE AND APPLIED LOGIC Generic structures and simple theories …

[HTML][HTML] Theories without the tree property of the second kind

A Chernikov - Annals of Pure and Applied Logic, 2014 - Elsevier
We initiate a systematic study of the class of theories without the tree property of the second
kind—NTP 2. Most importantly, we show: the burden is “sub-multiplicative” in arbitrary …

The Manin–Mumford conjecture and the model theory of difference fields

E Hrushovski - Annals of Pure and Applied Logic, 2001 - Elsevier
Using methods of geometric stability (sometimes generalized to finite S1 rank), we
determine the structure of Abelian groups definable in ACFA, the model companion of fields …

[PDF][PDF] Pseudo-finite fields and related structures

E Hrushovski - Model theory and applications, 1991 - academia.edu
This manuscript dates to 1991. Some of the results were represented in [HP1],[HP2], and
most if not all of the others were generalized in [CP],[KP],[P],[PSW],[W]. The original text was …

On model-theoretic tree properties

A Chernikov, N Ramsey - Journal of Mathematical Logic, 2016 - World Scientific
We study model theoretic tree properties (TP, TP 1, TP 2) and their associated cardinal
invariants (κ cdt, κ sct, κ inp, respectively). In particular, we obtain a quantitative refinement …