Categoricity results for \(L_{\infty \kappa}\)-free algebras

DOI10.1016/0168-0072(88)90049-8zbMath0648.03021MaRDI QIDQ1104924

Paul C. Eklof, Alan H. Mekler

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90049-8

zbMATH Keywords

variety; definability; higher type recursion theory; \(\Sigma ^ 0_ 3\)-game; \(L_{\infty \kappa }\)-free algebras; reindexing

Mathematics Subject Classification ID

08B20: Free algebras

03C05: Equational classes, universal algebra in model theory

03C75: Other infinitary logic

03C35: Categoricity and completeness of theories

Related Items

Set Theory Generated by Abelian Group Theory, Polish algebras, shy from freedom., \(L_{\infty \omega}\)-free algebras, On Whitehead modules, Almost-free groups in varieties, On \(L_{\infty{}\kappa{}}\)-free Boolean algebras, Almost free algebras, If there is an exactly λ-free abelian group then there is an exactly λ-separable one in λ, Baer Modules over Domains

Cites Work

• In singular cardinality, locally free algebras are free
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• On Shelah's compactness of cardinals
• Incompactness in regular cardinals
• On semi-perfect rings
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On the Existence of κ-Free Abelian Groups
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• A strengthening of Jensen's □ principles
• Countable approximations and Löwenheim-Skolem theorems
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• How to Construct Almost Free Groups
• Varieties of groups
• Definability problems for modules and rings
• Almost free groups in varieties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item