Boolean universes above Boolean models
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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesU. 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
