No universal group in a cardinal

DOI10.1515/FORUM-2014-0040MaRDI QIDQ280779zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 10 May 2016

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.4997

zbMATH Keywords

group theorymodel theoryclassification theorynon-structureolive propertyuniversal models

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic algebra (03C60) Set-theoretic model theory (03C55) Ordered sets and their cofinalities; pcf theory (03E04) Applications of logic to group theory (20A15)

Abstract: For many classes of models there are universal members in any cardinal $lambda$ which "essentially satisfied GCH", i.e. $lambda=2^{<lambda}$. But if the class is "complicated enough", e.g. the class of linear orders, we know that if $lambda$ is "regular and not so close to satisfying GCH" then there is no universal member. Here we find new sufficient conditions (which we call the olive property), not covered by earlier cases (i.e. fail the so-called SOP${}_4$). The advantage of those conditions is witnessed by proving that the class of groups satisfies one of those conditions.

Recommendations

• Universal structures
• Non-existence of universal members in classes of Abelian groups.
• Nonexistence of universal orders in many cardinals
• scientific article; zbMATH DE number 1329675
• Universal abelian groups

Cited in

(6)

• Isomorphic universality and the number of pairwise nonisomorphic models in the class of Banach spaces
• Nonexistence of universal orders in many cardinals
• Universal abelian groups
• Between reduced powers and ultrapowers, II.
• Universal structures
• Canonical universal locally finite groups

This page was built for publication: No universal group in a cardinal

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