Categoricity results for L_ -free algebras

DOI10.1016/0168-0072(88)90049-8MaRDI QIDQ1104924zbMATH OpenOpenAlexFDO

Authors 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

\(\Sigma ^ 0_ 3\)-game\(L_{\infty \kappa }\)-free algebrasdefinabilityhigher type recursion theoryreindexingvariety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35) Other infinitary logic (03C75) Free algebras (08B20)

Review text

The paper under review is a compact collection of many interesting and important theorems with many corollaries, examples (the last section tells about concrete algebraic examples) and remarks on \(L_{\infty \kappa}\)-free algebras in a variety of universal algebras. The main results are very shortly described in the summary: ``Let V denote a variety of algebras in a countable language. An algebra is said to be \(L_{\infty \kappa}\)-free if it is Lloys Harrington's method of reindexing first used by Harrington to characterize the 1- section of the superjump. It turns out that the 1-section of R and \({}^ 2E\) is just large enough to contain winning strategies for every \(\Sigma\) \({}^ 0_ 3\)-game. The paper is technical, but accessible to readers familiar with higher type recursion theory.

Recommendations

• \(L_{\infty \omega}\)-free algebras
• Almost free algebras
• The essentially free spectrum of a variety
• On \(L_{\infty{}\kappa{}}\)-free Boolean algebras
• A note on large minimally free algebras

Cites work

• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• A strengthening of Jensen's □ principles
• Almost free groups in varieties
• Countable approximations and Löwenheim-Skolem theorems
• Definability problems for modules and rings
• Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
• How to Construct Almost Free Groups
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 3763914 (Why is no real title available?)
• scientific article; zbMATH DE number 3767645 (Why is no real title available?)
• scientific article; zbMATH DE number 3227117 (Why is no real title available?)
• scientific article; zbMATH DE number 3271554 (Why is no real title available?)
• In singular cardinality, locally free algebras are free
• Incompactness in regular cardinals
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On semi-perfect rings
• On Shelah's compactness of cardinals
• On the Existence of κ-Free Abelian Groups
• Varieties of groups

Cited in

(12)

• 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
• Set Theory Generated by Abelian Group Theory
• scientific article; zbMATH DE number 7032315 (Why is no real title available?)
• Polish algebras, shy from freedom.
• The construction principle and non homogeneity of uncountable relatively free groups
• Elementary properties of free lattices
• \(L_{\infty \omega}\)-free algebras

This page was built for publication: Categoricity results for \(L_{\infty \kappa}\)-free algebras

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