Related papers: Quasiminimal structures and excellence
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…
A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension…
We prove that Zilber's class of exponential fields is quasiminimal excellent and hence uncountably categorical, filling two gaps in Zilber's original proof.
Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory. We present several constructions with increasing…
We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in…
In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of…
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…
In this work, we introduce a new class of Leibniz algebras, called quasi-Artinian Leibniz algebras, which generalizes the minimal condition on ideals. Furthermore, we provide some characterizations and give conditions under which a…
Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…
The complex field, equipped with the multivalued functions of raising to each complex power, is quasiminimal, proving a conjecture of Zilber and providing evidence towards his stronger conjecture that the complex exponential field is…
Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites.
We prove that the bounded derived category of coherent sheaves on a quasicompact separated quasiexcellent scheme of finite dimension has a strong generator in the sense of Bondal-Van den Bergh. This extends a recent result of Neeman and is…
We deduce a special case of Zilber's quasiminimality conjecture, for the complex exponential field, from work of Henson and Rubel. Specifically, we deal with those subsets of $\mathbb{C}$ defined by formulas of the form…
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…
In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…
We introduce the quasiminimal subshifts, subshifts having only finitely many subsystems. With $\mathbb{N}$-actions, their theory essentially reduces to the theory of minimal systems, but with $\mathbb{Z}$-actions, the class is much larger.…
We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for…
Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called…
In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher…