Related papers: Decidable models of small theories

We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra. We show that the category of $L$-algebras…

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

We exhibit a theory where definable types lack the amalgamation property.

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…

The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…

We show that the discrete anomaly constraints governing popular non-Abelian symmetries of use in (e.g.) flavoured, supersymmetric, and dark matter model building typically subdivide into two classes differentiated by the simple restrictions…

Arbitrarily many pairwise inequivalent modular categories can share the same modular data. We exhibit a family of examples that are module categories over twisted Drinfeld doubles of finite groups, and thus in particular integral modular…

It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to…

For a given cluster-tilted algebra $A$ of tame type, it is proved that different indecomposable $\tau$-rigid $A$-modules have different dimension vectors. This is motivated by Fomin-Zelevinsky's denominator conjecture for cluster algebras.…

Bartholdi and Smoktunowicz constructed finitely generated monomial algebras with prescribed sufficiently fast growth types. We show that their construction need not result in a prime algebra, but it can be modified to provide prime algebras…

We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…

We give a combinatorial equivalent to the existence of a non-free hereditarily separable group of cardinality aleph_1. This can be used, together with a known combinatorial equivalent of the existence of a non-free Whitehead group, to prove…

Shumyatsky and the second author proved that if G is a finitely generated residually finite p-group satisfying a law, then, for almost all primes, the fact that a normal and commutator-closed set of generators satisfies a positive law…

We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associated with it then its restriction on ordinals is independent…

The Kuchar observables notion is shown to apply only to a limited range of theories. Relational mechanics, slightly inhomogeneous cosmology and supergravity are used as examples that require further notions of observables. A suitably…

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We…

Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual's preferences) allowing for incompatible (non-commuting)…

We prove a version of Shelah's Categoricity Conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $\mathcal{A}$ is a deconstructible class of modules that fits in an abstract elementary class…

By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…