Saturated Free Algebras and Almost Indiscernible Theories

DOI10.1007/S00012-021-00766-XarXiv1908.02712MaRDI QIDQ6323322FDOQ6323322

Authors: Thomas Kucera, Anand Pillay 

Publication date: 7 August 2019

Abstract: We extend the concept of "almost indiscernible theory" introduced by Pillay and Sklinos in [Bull. Symb. Log., 2015] (which was itself a modernization and expansion of Baldwin and Shelah [Algebra Universalis, 1983]), to uncountable languages and uncountable parameter sequences. Roughly speaking a theory $T$ is almost indiscernible if some saturated model is in the algebraic closure of an indiscernible set of sequences. We show that such a theory $T$ is nonmultidimensional, superstable, and stable in all cardinals $ge|T|$ . We prove a structure theorem for sufficiently large $a$-models $M$: Theorem 2.10 which states that over a suitable base, $M$ is in the algebraic closure of an independent set of realizations of weight one types (in possibly infinitely many variables). We also explore further the saturated free algebras of Baldwin and Shelah in both the countable and uncountable context. We study in particular theories and varieties of $R$-modules, characterizing those rings $R$ for which the free $R$-module on $|R{|}^{+}$ generators is saturated (Theorem 3.15), and pointing out a counterexample to a conjecture from Pillay-Sklinos (Example 3.16).

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Free algebras (08B20) Free, projective, and flat modules and ideals in associative algebras (16D40)

This page was built for publication: Saturated Free Algebras and Almost Indiscernible Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6323322)