We work in a first-order setting where structures are spread out over a metric space, with
quantification allowed only over bounded subsets. Assuming a doubling property for the …

We identify a canonical structure J associated to any first-order theory, the {\it space of
definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and …

Assume $ G $ is a group and $\mathcal {A} $ is an algebra of subsets of $ G $ closed under
left translation. We study various ways to understand the Ellis group of the $ G $-flow $ S …

We study canonical quotients in model theory, mainly stable quotients of type-definable
groups and invariant types in NIP theories. We extend the modelling property to continuous …

We give a proof of the existence of generalized definable locally compact models for
arbitrary approximate subgroups via an application of topological dynamics in model theory …

We investigate interactions between Ramsey theory, topological dynamics, and model
theory. We introduce various Ramsey-like properties for first order theories and characterize …

For a NIP theory T, a sufficiently saturated model equivalence relation on the set of
realizations of p which has stable quotient. This is a counterpart for equivalence relations of …

In this paper we study the relativized Lascar Galois group of a strong type. The group is a
quasi-compact connected topological group, and if in addition the underlying theory T is G …

By an approximate subring of a ring we mean an additively symmetric subset X such that X·
X∪(X+ X) is covered by finitely many additive translates of X. We prove that each …

Badamy pewne kanoniczne ilorazy w teorii modeli, głównie stabilne ilorazy grup typowo
definiowalnych oraz typów niezmienniczych w teoriach z własnością NIP. Główne wyniki …