activity
20072021
most citedSmoothness of bounded invariant equivalence relations

3 citations · 14 across the 15 of their papers we have counts for

collaborators

22 papers

math.LO2021

Invariant measures in simple and in small theories

Artem Chernikov, Ehud Hrushovski, Alex Kruckman +4

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measur…

math.LO2020

Bohr compactifications of groups and rings

Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupinski

We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and u…

math.LO2020★ 2 cited

On first order amenability

Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay

We introduce the notion of first order amenability, as a property of a first order theory : every complete type over , in possibly infinitely many variables, extends…

math.LO2019

Ramsey theory and topological dynamics for first order theories

Krzysztof Krupinski, Junguk Lee, Slavko Moconja

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

math.LO2019

On the topological dynamics of automorphism groups; a model-theoretic perspective

Krzysztof Krupinski, Anand Pillay

We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todorčević theory in the more general context of automorphism groups of not necessarily countable s…

math.LO2019

Amenability, connected components, and definable actions

Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay

We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer the…