On Boolean algebras and integrally closed commutative regular rings
Journal of Symbolic Logic 57 (4):1305-1318 (1992)
| Abstract | In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One claims that for any Boolean algebras A and B, an embedding of A into B preserving D(n, a) for all a ∈ A is a Σn-extension. The other claims that the theory of n-separable Boolean algebras admits elimination of quantifiers in a simple definitional extension of the language of Boolean algebras. Finally we translate these results into the language of commutative regular rings | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMohamed A. Amer (1985). Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic. Journal of Symbolic Logic 50 (3):589 - 596.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Aleksander Blaszczyk & Saharon Shelah (2001). Regular Subalgebras of Complete Boolean Algebras. Journal of Symbolic Logic 66 (2):792-800.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
Hirokazu Nishimura (1991). Boolean Valued Lie Algebras. Journal of Symbolic Logic 56 (2):731-741.
Kay Smith (1984). Commutative Regular Rings and Boolean-Valued Fields. Journal of Symbolic Logic 49 (1):281-297.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
