Related papers: Quasiminimal structures and excellence

We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem…

In this note, we revisit certain results from a previous work of the second author concerning $z$-ideals of semirings. We demonstrate that the assumption of the semiring being a bzi-semiring can be dispensed with. Additionally, we propose a…

We give a proof of the o-minimal version of the Whitney Extension Theorem simplified as compared to the original ones. A new simplifying ingredient is a definable variant of Urysohn's lemma for class $\mathcal{C}^q$ (see Section 3).

We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditional algebraic definitions of higher categories, and we use…

We give a complete and careful proof of Quillen's theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.

We show, using acylindrical hyperbolicity, that a finitely generated group splitting over $\Z$ cannot be simple. We also obtain SQ-universality in most cases, for instance a balanced group (one where if two powers of an infinite order…

We investigate simple endotrivial modules of finite quasi-simple groups and classify them in several important cases. This is motivated by a recent result of Robinson showing that simple endotrivial modules of most groups come from…

We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of…

We define a Riesz type interpolation property for the Cuntz semigroup of a $C^*$-algebra and prove it is satisfied by the Cuntz semigroup of every $C^*$-algebra with the ideal property. Related to this, we obtain two characterizations of…

We give an alternative proof to the fact that if the square of the infinite radical of the module category of an Artin algebra is equal to zero then the algebra is of finite type by making use of the theory of postprojective and…

In this paper, the class of quasicomplemented residuated lattices is introduced and investigated, as a subclass of residuated lattices in which any prime filter not containing any dense element is a minimal prime filter. The notion of…

We examine the ranks of operators in semi-finite C*-algebras as measured by their densely defined lower semicontinuous traces. We first prove that a unital simple C*-algebra whose extreme tracial boundary is nonempty and finite contains…

We provide a new and much simpler structure for quasi-ideal adequate transversals of abundant semigroups in terms of spined products, which is similar in nature to that given by Saito for weakly multiplicative inverse transversals of…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

We show that an arbitrary algebra ${ A}$, (of arbitrary dimension, over an arbitrary base field and any identity is not suppose for the product), is semisimple if and only if it has zero annihilator and admits a semi-division linear basis.…

This paper improves two existing theorems of interest to neo-logicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic.…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

I give an overview of recent developments in the structure and classification theory of separable, simple, nuclear C*-algebras. I will in particular focus on the role of quasidiagonality and amenability for classification, and on the…

In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $\mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further…

We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified…