Equational bases of boolean algebras

1964 ◽  
Vol 29 (3) ◽  
pp. 115-124 ◽  
Author(s):  
F. M. Sioson
Keyword(s):  
Boolean Algebra ◽  
Algebraic System ◽  
Boolean Algebras ◽  
Definition Of ◽  
Image Position

It is well-known that a Boolean algebra (B, +, ., ‐) may be defined as an algebraic system with at least two elements such that (for all x, y, z ε B): These axioms or equations are not independent, in the sense that some of them are logical consequences of the others. B. A. Bernstein [1] thought that the first three and their duals form an independent dual-symmetric definition of a Boolean algebra, but R. Montague and J. Tarski [3] proved later that B1 (or B̅1) follows from B2, B3, B̅1, B̅2, B̅3 (from B1, B2, B3, B̅2, B̅3).

On the Representation of Boolean Algebras

1962 ◽  
Vol 5 (1) ◽  
pp. 37-41 ◽  
Author(s):  
Günter Bruns
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Two Systems ◽  
Image Position

Let B be a Boolean algebra and let ℳ and n be two systems of subsets of B, both containing all finite subsets of B. Let us assume further that the join ∨M of every set M∊ℳ and the meet ∧N of every set N∊n exist. Several authors have treated the question under which conditions there exists an isomorphism φ between B and a field δ of sets, satisfying the conditions:

Cardinal functions on ultra products of Boolean algebras

1997 ◽  
Vol 62 (1) ◽  
pp. 43-59 ◽  
Author(s):  
Douglas Peterson
Keyword(s):  
Boolean Algebra ◽  
Cardinal Number ◽  
Boolean Algebras ◽  
Open Problems ◽  
Cardinal Functions ◽  
Image Position

This article is concerned with functions k assigning a cardinal number to each infinite Boolean algebra (BA), and the behaviour of such functions under ultraproducts. For some common functions k we havefor others we have ≤ instead, under suitable assumptions. For the function π character we go into more detail. More specifically, ≥ holds when F is regular, for cellularity, length, irredundance, spread, and incomparability. ≤ holds for π. ≥ holds under GCH for F regular, for depth, π, πχ, χ, h-cof, tightness, hL, and hd. These results show that ≥ can consistently hold in ZFC since if V = L holds then all uniform ultrafilters are regular. For π-character we prove two more results: (1) If F is regular and ess , then(2) It is relatively consistent to have , where A is the denumerable atomless BA.A thorough analysis of what happens without the assumption that F is regular can be found in Rosłanowski, Shelah [8] and Magidor, Shelah [5]. Those papers also mention open problems concerning the above two possible inequalities.

A Generalization of Certain Rings of A. L. Foster

1963 ◽  
Vol 6 (1) ◽  
pp. 55-60 ◽  
Author(s):  
Adil Yaqub
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Boolean Ring ◽  
Boolean Rings ◽  
Image Position

The concept of a Boolean ring, as a ring A in which every element is idempotent (i. e., a2 = a for all a in A), was first introduced by Stone [4]. Boolean algebras and Boolean rings, though historically and conceptually different, were shown by Stone to be equationally interdefinable. Indeed, let (A, +, x) be a Boolean ring with unit 1, and let (A, ∪, ∩, ') be a Boolean algebra, where ∩, ∪, ', denote "union", " intersection", and "complement". The equations which convert the Boolean ring into a Boolean algebra are:IConversely, the equations which convert the Boolean algebra into a Boolean ring are:II

Games played on Boolean algebras

1983 ◽  
Vol 48 (3) ◽  
pp. 714-723 ◽  
Author(s):  
Matthew Foreman
Keyword(s):  
Boolean Algebra ◽  
Topological Space ◽  
Closed Subset ◽  
Winning Strategy ◽  
Boolean Algebras ◽  
Algebra Structure ◽  
Partial Converse ◽  
Image Position ◽  
Special Case

In this paper we consider the special case of the Banach-Mazur game played on a topological space when the space also has an underlying Boolean Algebra structure. This case was first studied by Jech [2]. The version of the Banach-Mazur game we will play is the following game played on the Boolean algebra:Players I and II alternate moves playing a descending sequence of elements of a Boolean algebra ℬ.Player II wins the game iff Πi∈ωbi ≠ 0. Jech first considered these games and showed:Theorem (Jech [2]). ℬ is (ω1, ∞)-distributive iff player I does not have a winning strategy in the game played on ℬ.If ℬ has a dense ω-closed subset then it is easy to see that player II has a winning strategy in this game. This paper establishes a partial converse to this, namely it gives cardinality conditions on ℬ under which II having a winning strategy implies ω-closure.In the course of proving the converse, we consider games of length > ω and generalize Jech's theorem to these games. Finally we present an example due to C. Gray that stands in counterpoint to the theorems in this paper.In this section we give a few basis definitions and explain our notation. These definitions are all standard.

Nonisomorphism of lattices of recursively enumerable sets

1993 ◽  
Vol 58 (4) ◽  
pp. 1177-1188 ◽  
Author(s):  
John Todd Hammond
Keyword(s):  
Boolean Algebra ◽  
Isomorphism Class ◽  
Boolean Algebras ◽  
Turing Degree ◽  
Symmetric Difference ◽  
Natural Numbers ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Definition Of

Let ω be the set of natural numbers, let be the lattice of recursively enumerable subsets of ω, and let A be the lattice of subsets of ω which are recursively enumerable in A. If U, V ⊆ ω, put U =* V if the symmetric difference of U and V is finite.A natural and interesting question is then to discover what the relation is between the Turing degree of A and the isomorphism class of A. The first result of this form was by Lachlan, who proved [6] that there is a set A ⊆ ω such that A ≇ . He did this by finding a set A ⊆ ω and a set C ϵ A such that the structure ({W ϵ A∣W ⊇ C},∪,∩)/=* is a Boolean algebra and is not isomorphic to the structure ({W ϵ ∣W ⊇ D},∪,∩)/=* for any D ϵ . There is a nonrecursive ordinal which is recursive in the set A which he constructs, so his set A is not (see, for example, Shoenfield [11] for a definition of what it means for a set A ⊆ ω to be ). Feiner then improved this result substantially by proving [1] that for any B ⊆ ω, B′ ≇ B, where B′ is the Turing jump of B. To do this, he showed that for each X ⊆= ω there is a Boolean algebra which is but not and then applied a theorem of Lachlan [6] (definitions of and Boolean algebras will be given in §2). Feiner's result is of particular interest for the case B = ⊘, for it shows that the set A of Lachlan can actually be chosen to be arithmetical (in fact, ⊘′), answering a question that Lachlan posed in his paper. Little else has been known.

Locally Flat Vector Lattices

1980 ◽  
Vol 32 (4) ◽  
pp. 924-936 ◽  
Author(s):  
Marlow Anderson
Keyword(s):  
Boolean Algebra ◽  
Essential Extension ◽  
Boolean Algebras ◽  
Complete Boolean Algebra ◽  
Lattice Ordered Group ◽  
Ordered Group ◽  
Vector Lattices ◽  
Trivial Intersection ◽  
Image Position

Let G be a lattice-ordered group (l-group). If X ⊆ G, then letThen X’ is a convex l-subgroup of G called a polar. The set P(G) of all polars of G is a complete Boolean algebra with ‘ as complementation and set-theoretic intersection as meet. An l-subgroup H of G is large in G (G is an essential extension of H) if each non-zero convex l-subgroup of G has non-trivial intersection with H. If these l-groups are archimedean, it is enough to require that each non-zero polar of G meets H. This implies that the Boolean algebras of polars of G and H are isomorphic. If K is a cardinal summand of G, then K is a polar, and we write G = K⊞K'.

scholarly journals CHOICE-FREE STONE DUALITY

2019 ◽  
Vol 85 (1) ◽  
pp. 109-148
Author(s):  
NICK BEZHANISHVILI ◽  
WESLEY H. HOLLIDAY
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Stone Space ◽  
Spectral Space ◽  
Topological Representation ◽  
Stone Duality ◽  
Closed Sets ◽  
Spectral Spaces ◽  
Basic Facts ◽  
Regular Open

AbstractThe standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras.

Pascal's Prism

2012 ◽  
Vol 96 (536) ◽  
pp. 213-220
Author(s):  
Harlan J. Brothers
Keyword(s):  
Probability Theory ◽  
Fractal Geometry ◽  
Euclidean Geometry ◽  
Fibonacci Series ◽  
Pascal’S Triangle ◽  
Number Sequences ◽  
Definition Of ◽  
Image Position ◽  
Pascal's Triangle

Pascal's triangle is well known for its numerous connections to probability theory [1], combinatorics, Euclidean geometry, fractal geometry, and many number sequences including the Fibonacci series [2,3,4]. It also has a deep connection to the base of natural logarithms, e [5]. This link to e can be used as a springboard for generating a family of related triangles that together create a rich combinatoric object.2. From Pascal to LeibnizIn Brothers [5], the author shows that the growth of Pascal's triangle is related to the limit definition of e.Specifically, we define the sequence sn; as follows [6]:

On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers

1980 ◽  
Vol 45 (2) ◽  
pp. 265-283 ◽  
Author(s):  
Matatyahu Rubin ◽  
Saharon Shelah
Keyword(s):  
Boolean Algebra ◽  
Automorphism Groups ◽  
Order Logic ◽  
Boolean Algebras ◽  
First Order Logic ◽  
Elementary Equivalence ◽  
First Order ◽  
Finite Models ◽  
Countably Compact

AbstractTheorem 1. (◊ℵ1,) If B is an infinite Boolean algebra (BA), then there is B1, such that ∣ Aut (B1) ≤∣B1∣ = ℵ1 and 〈B1, Aut (B1)〉 ≡ 〈B, Aut(B)〉.Theorem 2. (◊ℵ1) There is a countably compact logic stronger than first-order logic even on finite models.This partially answers a question of H. Friedman. These theorems appear in §§1 and 2.Theorem 3. (a) (◊ℵ1) If B is an atomic ℵ-saturated infinite BA, Ψ Є Lω1ω and 〈B, Aut (B)〉 ⊨Ψ then there is B1, Such that ∣Aut(B1)∣ ≤ ∣B1∣ =ℵ1, and 〈B1, Aut(B1)〉⊨Ψ. In particular if B is 1-homogeneous so is B1. (b) (a) holds for B = P(ω) even if we assume only CH.

A proof of the cut-elimination theorem in simple type theory

1973 ◽  
Vol 38 (2) ◽  
pp. 215-226
Author(s):  
Satoko Titani
Keyword(s):  
Boolean Algebra ◽  
Type Theory ◽  
Arbitrary Number ◽  
Formal System ◽  
Cut Elimination ◽  
Simple Type ◽  
Inductive Definition ◽  
Simple Type Theory ◽  
Maximal Ideals ◽  
Definition Of

In [4], I introduced a quasi-Boolean algebra, and showed that in a formal system of simple type theory, from which the cut rule is omitted, wffs form a quasi-Boolean algebra, and that the cut-elimination theorem can be formulated in algebraic language. In this paper we use the result of [4] to prove the cut-elimination theorem in simple type theory. The theorem was proved by M. Takahashi [2] in 1967 by using the concept of Schütte's semivaluation. We use maximal ideals of a quasi-Boolean algebra instead of semivaluations.The logical system we are concerned with is a modification of Schütte's formal system of simple type theory in [1] into Gentzen style.Inductive definition of types.0 and 1 are types.If τ1, …, τn are types, then (τ1, …, τn) is a type.Basic symbols.a1τ, a2τ, … for free variables of type τ.x1τ, x2τ, … for bound variables of type τ.An arbitrary number of constants of certain types.An arbitrary number of function symbols with certain argument places.

Sign in / Sign up

Export Citation Format

Share Document