Decidable theories of non-projectable l-groups of continuous functions

DOI10.1016/J.APAL.2006.12.002MaRDI QIDQ876381zbMATH OpenOpenAlexFDO

Authors Brian Wynne

Publication date 18 April 2007

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

Full work available at URL https://doi.org/10.1016/j.apal.2006.12.002

zbMATH Keywords

Boolean algebra\(P\)-space\(l\)-groupdecidable theory

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Decidability of theories and sets of sentences (03B25) Real-valued functions in general topology (54C30)

Recommendations

• \(l\)-groups \(C(X)\) in continuous logic
• First-order theories of subgroups of divisible Hahn products
• Rigid extensions of ℓ-groups of continuous functions
• scientific article; zbMATH DE number 6261977
• Semi-projectable $\ell$-groups

Cites work

• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 48329 (Why is no real title available?)
• scientific article; zbMATH DE number 3491805 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3530464 (Why is no real title available?)
• scientific article; zbMATH DE number 3619862 (Why is no real title available?)
• scientific article; zbMATH DE number 5053716 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3365842 (Why is no real title available?)
• Concerning Rings of Continuous Functions
• First-order theories of subgroups of divisible Hahn products
• Hyper-regular lattice-ordered groups
• The elementary-equivalence classes of clopen algebras of P-spaces
• The first order properties of products of algebraic systems
• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires

Cited in

(8)

• 2007-2008 Winter Meeting of the Association for Symbolic Logic
• Further generalizations of results on structures of continuous functions
• Whales and the orthocompletion
• Feebly projectable \(\ell \)-groups
• scientific article; zbMATH DE number 16562 (Why is no real title available?)
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• \(l\)-groups \(C(X)\) in continuous logic
• First-order theories of subgroups of divisible Hahn products

This page was built for publication: Decidable theories of non-projectable \(l\)-groups of continuous functions

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