Journal of Symbolic Logic 58 (4):1219-1250 (1993)
We establish several first- or second-order properties of models of first-order theories by considering their elements as atoms of a new universe of set theory and by extending naturally any structure of Boolean model on the atoms to the whole universe. For example, complete f-rings are "boundedly algebraically compact" in the language $(+,-,\cdot,\wedge,\vee,\leq)$ , and the positive cone of a complete l-group with infinity adjoined is algebraically compact in the language (+, ∨, ≤). We also give an example with any first-order language. The proofs can be translated into "naive set theory" in a uniform way
|Keywords||Atoms Boolean models first-order languages convergence in lattice-ordered rings equational compactness algebraic compactness|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Independence of the Prime Ideal Theorem From the Order-Extension Principle.U. Felgner & J. K. Truss - 1999 - Journal of Symbolic Logic 64 (1):199-215.
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
On Boolean Algebras and Integrally Closed Commutative Regular Rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Elementary Embedding Between Countable Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Scott Incomplete Boolean Ultrapowers of the Real Line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Standardization Principle of Nonstandard Universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Definable Sets in Boolean Ordered o-Minimal Structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Definable Sets in Boolean-Ordered o-Minimal Structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
Added to index2009-01-28
Total downloads34 ( #150,259 of 2,163,683 )
Recent downloads (6 months)1 ( #348,043 of 2,163,683 )
How can I increase my downloads?