Decidable theories of non-projectable \(l\)-groups of continuous functions

DOI10.1016/J.APAL.2006.12.002zbMath1115.06012OpenAlexW2089255079MaRDI QIDQ876381

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 algebradecidable theory\(P\)-space\(l\)-group

Mathematics Subject Classification ID

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

Related Items (1)

2007-2008 Winter Meeting of the Association for Symbolic Logic

Cites Work

• First-order theories of subgroups of divisible Hahn products
• The first order properties of products of algebraic systems
• The elementary-equivalence classes of clopen algebras of P-spaces
• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
• Hyper-regular lattice-ordered groups
• Concerning Rings of Continuous Functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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