Decidable theories of non-projectable l-groups of continuous functions
From MaRDI portal
Publication:876381
DOI10.1016/J.APAL.2006.12.002zbMATH Open1115.06012OpenAlexW2089255079MaRDI QIDQ876381FDOQ876381
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
Recommendations
Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Decidability of theories and sets of sentences (03B25) Real-valued functions in general topology (54C30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concerning Rings of Continuous Functions
- The first order properties of products of algebraic systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- First-order theories of subgroups of divisible Hahn products
- 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
- Title not available (Why is that?)
- Hyper-regular lattice-ordered groups
- Title not available (Why is that?)
Cited In (8)
- 2007-2008 Winter Meeting of the Association for Symbolic Logic
- Feebly projectable \(\ell \)-groups
- \(l\)-groups \(C(X)\) in continuous logic
- Whales and the orthocompletion
- Decidable fan theorem and uniform continuity theorem with continuous moduli
- First-order theories of subgroups of divisible Hahn products
- Title not available (Why is that?)
- Further generalizations of results on structures of continuous functions
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)
