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

Annals of Pure and Applied Logic 146 (1):21-39 (2007)
  Copy   BIBTEX

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 structures

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.12.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

First-order theories of subgroups of divisible Hahn products.F. Lucas - 2003 - Annals of Pure and Applied Logic 121 (2-3):261-279.
On L∞κ-free Boolean algebras.Sakaé Fuchino, Sabine Koppelberg & Makoto Takahashi - 1992 - Annals of Pure and Applied Logic 55 (3):265-284.
Conical logic and l-groups logic.Marta S. Sagastume - 2005 - Journal of Applied Non-Classical Logics 15 (3):265-283.
Initial segments of the lattice of Π10 classes.Douglas Cenzer & Andre Nies - 2001 - Journal of Symbolic Logic 66 (4):1749-1765.
Ultraproducts and Chevalley groups.Françoise Point - 1999 - Archive for Mathematical Logic 38 (6):355-372.
l -Groups C in continuous logic.Philip Scowcroft - 2018 - Archive for Mathematical Logic 57 (3-4):239-272.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
A preservation theorem for ec-structures with applications.Michael H. Albert - 1987 - Journal of Symbolic Logic 52 (3):779-785.
Algebraic Expansions of Logics.Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela & Joan Gispert - 2023 - Journal of Symbolic Logic 88 (1):74-92.
Bounded commutative b-c-k logic and Lukasiewicz logic.Marta Sagastume - 2005 - Manuscrito 28 (2):575-583.

Analytics

Added to PP
2013-12-30

Downloads
35 (#650,425)

6 months
8 (#600,396)

Historical graph of downloads
How can I increase my 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.

Add more citations

References found in this work

Hyper-regular lattice-ordered groups.Daniel Gluschankof & François Lucas - 1993 - Journal of Symbolic Logic 58 (4):1342-1358.
First-order theories of subgroups of divisible Hahn products.F. Lucas - 2003 - Annals of Pure and Applied Logic 121 (2-3):261-279.

Add more references