Journal of Symbolic Logic 58 (4):1219-1250 (1993)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
U. Felgner & J. K. Truss (1999). The Independence of the Prime Ideal Theorem From the Order-Extension Principle. Journal of Symbolic Logic 64 (1):199-215.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Masanao Ozawa (1995). Scott Incomplete Boolean Ultrapowers of the Real Line. Journal of Symbolic Logic 60 (1):160-171.
Masahiko Murakami (1999). Standardization Principle of Nonstandard Universes. Journal of Symbolic Logic 64 (4):1645-1655.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
Ludomir Newelski & Roman Wencel (2001). Definable Sets in Boolean-Ordered o-Minimal Structures. I. Journal of Symbolic Logic 66 (4):1821-1836.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?