Theorien abelscher Gruppen mit einem einstelligen Prädikat
Théories de Galois différentielles et transcendance
On décrit des preuves galoisiennes des versions logarithmique et exponentielle de la conjecture de Schanuel, pour les variétés abéliennes sur un corps de fonctions.
Théories pré-inductives et pré-modèle-complètes. Une approche naturelle du forcing infini
There are Infinitely Many Countable Models of Strictly Stable Theories With no Dense Forking Chains
Thickness, and a categoric view of type-space functors
We define the class of thick cats (compact abstract theories, which contains in particular semi-Hausdorff, Hausdorff and first order cats), and prove that in this class simplicity behaves as in first order theories. We consider well-known first order notions, such as interpretability or stable dividing/reduct, and propose analogous notions that can be naturally expressed in terms of maps between type-space functors. We prove several desirable properties of the new notions and show the connection...
Thorn orthogonality and domination in unstable theories
We study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories.
Topological dynamics of unordered Ramsey structures
We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow of the automorphism group of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of . We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and is amenable, then admits a unique invariant...
Topological model theory with an interior operator: consistency properties and back - and forth arguments.
Topological types of fewnomials
Travaux publiés par les membres du groupe «théories stables»
Triangulation in o-minimal fields with standard part map
In answering questions of J. Maříková [Fund. Math. 209 (2010)] we prove a triangulation result that is of independent interest. In more detail, let R be an o-minimal field with a proper convex subring V, and let st: V → k be the corresponding standard part map. Under a mild assumption on (R,V) we show that a definable set X ⊆ Vⁿ admits a triangulation that induces a triangulation of its standard part st X ⊆ kⁿ.
T-Varieties and Clones of T-terms
The aim of this paper is to describe how varieties of algebras of type τ can be classified by using the form of the terms which build the (defining) identities of the variety. There are several possibilities to do so. In [3], [19], [15] normal identities were considered, i.e. identities which have the form x ≈ x or s ≈ t, where s and t contain at least one operation symbol. This was generalized in [14] to k-normal identities and in [4] to P-compatible identities. More generally, we select a subset...
Twin prime problem in an arithmetic without induction
Two conjectures regarding the stability of ω-categorical theories
Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
Two notes on formalized topology
Two theorems on regularly r-closed fields.
Type d'ordre des ordinaux de modèles non dénombrables de la théorie des ensembles