A further glance at classifiable 1-ary functions
A group in a group.
A model-theoretic Baire category theorem for simple theories and its applications
We prove a model-theoretic Baire category theorem for -sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
A note on forking and normalization.
A note on noninterpretability in o-minimal structures
We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.
A note on Steinhorn's omitting types theorem
Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.
A Note on tight stable theories.
A proof of Saffe's conjecture
Abelian profinite groups
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula ϕ, we prove definability of all complete ϕ-types over models and deduce from this the fundamental...
Ample hierarchy
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is given.
Around Podewski's conjecture
A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...
Around stable forking
We discuss various conjectures and problems around the issue of when and whether stable formulas are responsible for forking in simple theories. We prove that if the simple theory T has strong stable forking then any complete type is a nonforking extension of a complete type which is axiomatized by instances of stable formulas. We also give another treatment of the first author's result which identifies canonical bases in supersimple theories.