Decidable theories of non-projectable l -groups of continuous functions
Annals of Pure and Applied Logic 146 (1):21-39 (2007)
Abstract
We study the class of l-groups of the form C with X an essential P-space. Many such l-groups are non-projectable and their elementary theories may often be reduced to that of an associated Boolean algebra with distinguished ideal. In this paper we establish the decidability of the theories of two classes of such l-groups via corresponding results for the associated structuresDOI
10.1016/j.apal.2006.12.002
My notes
Similar books and articles
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Algorithmic randomness of continuous functions.George Barmpalias, Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):533-546.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
A quasi-order on continuous functions.Raphaël Carroy - 2013 - Journal of Symbolic Logic 78 (2):633-648.
Stability and stable groups in continuous logic.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):1111-1136.
Derivatives of Computable Functions.Ning Zhong - 1998 - Mathematical Logic Quarterly 44 (3):304-316.
Un Principe d'ax-kochen-Ershov pour Des structures intermediares entre groupes et corps values.Françoise Delon & Patrick Simonetta - 1999 - Journal of Symbolic Logic 64 (3):991-1027.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
On countable chains having decidable monadic theory.Alexis Bés & Alexander Rabinovich - 2012 - Journal of Symbolic Logic 77 (2):593-608.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Analytics
Added to PP
2013-12-30
Downloads
12 (#805,342)
6 months
1 (#448,894)
2013-12-30
Downloads
12 (#805,342)
6 months
1 (#448,894)
Historical graph of downloads
Citations of this work
2007-2008 Winter Meeting of the Association for Symbolic Logic.Jeffrey Remmel - 2008 - Bulletin of Symbolic Logic 14 (3):402-411.
References found in this work
The First Order Properties of Products of Algebraic Systems.S. Feferman & R. L. Vaught - 1967 - Journal of Symbolic Logic 32 (2):276-276.
Hyper-regular lattice-ordered groups.Daniel Gluschankof & François Lucas - 1993 - Journal of Symbolic Logic 58 (4):1342-1358.
Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires.Alain Touraille - 1987 - Journal of Symbolic Logic 52 (4):1027-1043.
First-order theories of subgroups of divisible Hahn products.F. Lucas - 2003 - Annals of Pure and Applied Logic 121 (2-3):261-279.
