Decidable theories of non-projectable \(l\)-groups of continuous functions (Q876381)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidable theories of non-projectable \(l\)-groups of continuous functions |
scientific article |
Statements
Decidable theories of non-projectable \(l\)-groups of continuous functions (English)
0 references
18 April 2007
0 references
An (abelian) \(\ell \)-group \(G\) is called projectable if for every \(0<a\in G\) the interval \([0,a]\) is pseudocomplemented. If \(X\) is a topological space then \(C(X)\) denotes the \(\ell \)-group of all continuous real-valued functions on \(X\). The author studies the class of \(\ell \)-groups \(C(X)\) such that \(X\) is a so-called essential \(P\)-space. In the paper it is shown that many of such \(\ell \)-groups are non-projectable and that their elementary theories may often be reduced to those of associated Boolean algebras with distinguished ideals. This is used to establish the decidability of two classes of \(\ell \)-groups of continuous functions which, among others, are not projectable.
0 references
\(l\)-group
0 references
decidable theory
0 references
\(P\)-space
0 references
Boolean algebra
0 references