210 citations · 464 across the 57 of their papers we have counts for
8 papers · 1 filter
Games orbits play and obstructions to Borel reducibility
Martino Lupini, Aristotelis Panagiotopoulos
We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turb…
Actions of rigid groups on UHF-algebras
Eusebio Gardella, Martino Lupini
Let be a countably infinite property (T) group, and let be UHF-algebra of infinite type. We prove that there exists a continuum of pairwise non (weakly) cocycle conjugate,…
Actions of trees on semigroups, and an infinitary Gowers--Hales--Jewett Ramsey theorem
Martino Lupini
We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary G…
Boundary representations of operator spaces, and compact rectangular matrix convex sets
Adam H. Fuller, Michael Hartz, Martino Lupini
We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and…
Applications of model theory to C*-dynamics
Eusebio Gardella, Martino Lupini
We initiate the study of compact group actions on C*-algebras from the perspective of model theory, and present several applications to C*-dynamics. Firstly, we prove that the cont…
Gowers' Ramsey theorem for generalized tetris operations
Martino Lupini
We prove a generalization of Gowers' theorem for where, instead of the single tetris operation , one considers…
Weak equivalence of stationary actions and the entropy realization problem
Peter Burton, Martino Lupini, Omer Tamuz
We introduce the notion of weak containment for stationary actions of a countable group and define a natural topology on the space of weak equivalence classes. We prove that Furste…
Model theory of -algebras
I. Farah, B. Hart, M. Lupini +4
We begin the systematic model theoretic study of -algebras using the tools of continuous logic.