Related papers: Non-elementary categoricity and projective locally…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
Let $A$ be a simple separable unital locally approximately subhomogeneous C*-algebra (locally ASH algebra). It is shown that $A\otimes Q$ can be tracially approximated by unital Elliott-Thomsen algebras with trivial $\textrm{K}_1$-group,…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…
Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
The article focuses on a class of second countable groups assembled from profinite and discrete by elementary operations. We focus on a rank associated with these groups that measure their complexity, the decomposition rank. A collection of…
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…
We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…
The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…
We show that a natural, two sorted $\cL_{\omega_1,\omega}$ theory involving the modular $j$-function is categorical in all uncountable cardinaities. It is also shown that a slight weakening of the adelic Mumford-Tate conjecture for products…
The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…
A group topology is said to be linear if open subgroups form a base of neighborhoods of the identity element. It is proved that the existence of a nondiscrete extremally disconnected group of Ulam nonmeasurable cardinality with linear…
The class of elementary totally disconnected groups is the smallest class of totally disconnected, locally compact, second countable groups which contains all discrete countable groups, all metrizable pro-finite groups, and is closed under…
In this paper we classify all $\aleph_0$-categorical and $C$-minimal sets up to elementary equivalence.
We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…
By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…
We show that if $G$ is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous ergodic invariant random…
We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably…