The rise and fall of typed sentences

2000 ◽  
Vol 65 (4) ◽  
pp. 1858-1862
Author(s):  
Marcel Crabbé
Keyword(s):  
Boolean Algebra ◽  
Atomic Boolean Algebra

AbstractWe characterize the 3-stratiflable theorems of NF as a 3-stratifiable extension of NF3: and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.

An Outline of a Theory of Propositional Vagueness

2018 ◽  
Author(s):  
Andrew Bacon
Keyword(s):  
Boolean Algebra ◽  
Total Evidence ◽  
Coarse Grained ◽  
Atomic Boolean Algebra

This chapter presents a series questions in the philosophy of vagueness that will constitute the primary subjects of this book. The stance this book takes on these questions is outlined, and some preliminary ramifications are explored. These include the idea that (i) propositional vagueness is more fundamental than linguistic vagueness; (ii) propositions are not themselves sentence-like; they are coarse grained, and form a complete atomic Boolean algebra; (iii) vague propositions are, moreover, not simply linguistic constructions either such as sets of world-precisification pairs; and (iv) propositional vagueness is to be understood by its role in thought. Specific theses relating to the last idea include the thesis that one’s total evidence can be vague, and that there are vague propositions occupying every evidential role, that disagreements about the vague ultimately boil down to disagreements in the precise, and that one should not care intrinsically about vague matters.

An algebraic characterization of power set in countable standard models of ZF

1975 ◽  
Vol 40 (2) ◽  
pp. 167-170
Author(s):  
George Metakides ◽  
J. M. Plotkin
Keyword(s):  
Standard Model ◽  
Boolean Algebra ◽  
Classical Result ◽  
Algebraic Characterization ◽  
Categorical Theory ◽  
Power Set ◽  
Standard Models ◽  
Image Position ◽  
Atomic Boolean Algebra

The following is a classical result:Theorem 1.1. A complete atomic Boolean algebra is isomorphic to a power set algebra [2, p. 70].One of the consequences of [3] is: If M is a countable standard model of ZF and is a countable (in M) model of a complete ℵ0-categorical theory T, then there is a countable standard model N of ZF and a Λ ∈ N such that the Boolean algebra of definable (in T with parameters from ) subsets of is isomorphic to the power set algebra of Λ in N. In particular if and T the theory of equality with additional axioms asserting the existence of at least n distinct elements for each n < ω, then there is an N and Λ ∈ N with 〈PN(Λ), ⊆〉 isomorphic to the countable, atomic, incomplete Boolean algebra of the finite and cofinite subsets of ω.From the above we see that some incomplete Boolean algebras can be realized as power sets in standard models of ZF.Definition 1.1. A countable Boolean algebra 〈B, ≤〉 is a pseudo-power set if there is a countable standard model of ZF, N and a set Λ ∈ N such thatIt is clear that a pseudo-power set is atomic.

scholarly journals Orthomodular generalizations of homogeneous Boolean algebras

1973 ◽  
Vol 15 (1) ◽  
pp. 94-104 ◽  
Author(s):  
C. H. Randall ◽  
M. F. Janowitz ◽  
D. J. Foulis
Keyword(s):  
Boolean Algebra ◽  
Dense Subset ◽  
Unit Interval ◽  
Boolean Algebras ◽  
Borel Sets ◽  
History Of ◽  
Atomic Boolean Algebra

It is well known that the so-called reduced Borel algebra, that is, the Boolean algebra of all Borel subsets of the unit interval modulo the meager Borel sets of this interval, can be abstractly characterized as a complete, totally non-atomic Boolean algebra containing a countable join dense subset. (For an indication of the history of this result, see, for example, ([2], p. 483, footnote 12.) From this characterization, it easily follows that the reduced Borel algebra B is “homogeneous” in the sense that every non-trivial in B is isomorphic to B.

scholarly journals On the order scale of a uniform space

1983 ◽  
Vol 34 (2) ◽  
pp. 248-257 ◽  
Author(s):  
D. C. Kent
Keyword(s):  
Boolean Algebra ◽  
Distributive Lattice ◽  
Closed Subspace ◽  
Uniform Space ◽  
Order Topology ◽  
Totally Bounded ◽  
Samuel Compactification ◽  
Closed Image ◽  
Atomic Boolean Algebra

AbstractThe order topology is compact and T2 in both the scale and retracted scale of any uniform space (S, U). if (S, U) is T2 and totally bounded, the Samuel compactification associated with (S, U) can be obtained by uniformly embedding (S, U) in its order retracted scale (that is, the retracted scale with its order topology). This implies that every compact T2 space is both a closed subspace of a complete, infinitely distributive lattice in its order topology, and also a continuous, closed image of a closed subspace of a complete atomic Boolean algebra in its order topology.

Elementary embedding between countable Boolean algebras

1991 ◽  
Vol 56 (4) ◽  
pp. 1212-1229
Author(s):  
Robert Bonnet ◽  
Matatyahu Rubin
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Complete Theory ◽  
Linear Ordering ◽  
Elementary Embedding ◽  
Linear Orderings ◽  
Partial Orderings ◽  
Atomless Boolean Algebra ◽  
Atomic Boolean Algebra ◽  
Quasi Ordering

AbstractFor a complete theory of Boolean algebras T, let MT denote the class of countable models of T. For B1, B2 ∈ MT, let B1 ≤ B2 mean that B2 is elementarily embeddable in B2. Theorem 1. For every complete theory of Boolean algebras T, if T ≠ Tω, then ‹MT, ≤› is well-quasi-ordered. ∎ We define Tω. For a Boolean algebra B, let I(B) be the ideal of all elements of the form a + s such that B ↾ a is an atomic Boolean algebra and B ↾ s is an atomless Boolean algebra. The Tarski derivative of B is defined as follows: B(0) = B and B(n + 1) = B(n)/I(B(n)). Define Tω to be the theory of all Boolean algebras such that for every n ∈ ω, B(n) ≠ {0}. By Tarski [1949], Tω is complete. Recall that ‹A, < › is partial well-quasi-ordering, it is a partial quasi-ordering and for every {ai, ⃒ i ∈ ω} ⊆ A, there are i < j < ω such that ai ≤ aj. Theorem 2. contains a subset M such that the partial orderings ‹M, ≤ ↾ M› and are isomorphic. ∎ Let M′0 denote the class of all countable Boolean algebras. For B1, B2 ∈ M′0, let B1 ≤′ B2 mean that B1 is embeddable in B2. Remark. ‹M′0, ≤′› is well-quasi-ordered. ∎ This follows from Laver's theorem [1971] that the class of countable linear orderings with the embeddability relation is well-quasi-ordered and the fact that every countable Boolean algebra is isomorphic to a Boolean algebra of a linear ordering.

On the Lattice of Primitive Convergence Structures

1971 ◽  
Vol 23 (3) ◽  
pp. 392-397
Author(s):  
C. R. Atherton
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Atomic Boolean Algebra

Let S be any set and denote by F(S) the collection of all fiters on S. The collection A(S) of all mappings from F(S) to 2s, 2s being ordered by the dual of its usual ordering, may be regarded as a product of complete Boolean algebras and is, therefore, a complete atomic Boolean algebra [4]. A(S) is called the lattice of primitive convergence structures on S. If q ∈ A(S) and , then is said to q-converge to a point x ∈ S if . The collection of all topologies on S may be identified with a subset of A(S); this subset of A(S) will be denoted by T(S). A more specialized class of primitive convergence structures, and one which properly contains T(S), is C(S), the subcomplete lattice of all convergence structures on S.

scholarly journals THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS

2002 ◽  
Vol 02 (02) ◽  
pp. 145-225 ◽  
Author(s):  
STEFFEN LEMPP ◽  
MIKHAIL PERETYAT'KIN ◽  
REED SOLOMON
Keyword(s):  
Boolean Algebra ◽  
Order Theory ◽  
Boolean Algebras ◽  
Quotient Algebra ◽  
First Order ◽  
Finite Models ◽  
First Order Theory ◽  
Recursive Isomorphism ◽  
Atomic Boolean Algebra

In this paper, we investigate the Lindenbaum algebra ℒ(T fin ) of the theory T fin = Th (M fin ) of the class M fin of all finite models of a finite rich signature. We prove that this algebra is an atomic Boolean algebra while its Gödel numeration γ is a [Formula: see text]-numeration. Moreover, the quotient algebra (ℒ(T fin )/ℱ, γ/ℱ) modulo the Fréchet ideal ℱ is a [Formula: see text]-algebra, which is universal over the class of all [Formula: see text] Boolean algebras. These conditions characterize uniquely the algebra ℒ(T fin ); moreover, these conditions characterize up to recursive isomorphism the numerated Boolean quotient algebra (ℒ(T fin )/ℱ, γ/ℱ). These results extend the work of Trakhtenbrot [17] and Vaught [18] on the first order theory of the class of all finite models of a finite rich signature.

REFLEXIVE INDEX OF A FAMILY OF SUBSPACES

2014 ◽  
Vol 90 (1) ◽  
pp. 134-140
Author(s):  
W. E. LONGSTAFF
Keyword(s):  
Hilbert Space ◽  
Positive Integer ◽  
Boolean Algebra ◽  
Separable Hilbert Space ◽  
Subspace Lattice ◽  
Infinite Dimensional ◽  
Reflexive Subspace ◽  
Definition Of ◽  
Vector Sum ◽  
Atomic Boolean Algebra

AbstractA definition of the reflexive index of a family of (closed) subspaces of a complex, separable Hilbert space $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}H$ is given, analogous to one given by D. Zhao for a family of subsets of a set. Following some observations, some examples are given, including: (a) a subspace lattice on $H$ with precisely five nontrivial elements with infinite reflexive index; (b) a reflexive subspace lattice on $H$ with infinite reflexive index; (c) for each positive integer $n$ satisfying dim $H\ge n+1$, a reflexive subspace lattice on $H$ with reflexive index $n$. If $H$ is infinite-dimensional and ${\mathcal{B}}$ is an atomic Boolean algebra subspace lattice on $H$ with $n$ equidimensional atoms and with the property that the vector sum $K+L$ is closed, for every $K,L\in {\mathcal{B}}$, then ${\mathcal{B}}$ has reflexive index at most $n$.

scholarly journals Concerning intrinsic topologies on Boolean algebras and certain bicompactly generated lattices

1970 ◽  
Vol 11 (2) ◽  
pp. 156-161 ◽  
Author(s):  
C. R. Atherton
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Order Topology ◽  
Complete Lattices ◽  
Ideal Topology ◽  
Atomic Boolean Algebra ◽  
The Ideal

This paper may be regarded as a continuation of the investigations begun in [2]; certain intrinsic lattice topologies are studied, especially the order and ideal topologies in Boolean algebras, bicompactly generated lattices, and other more general structures. The results of [1], [2], and [3] are shown to be closely related. It is proved that the ideal topology on any Boolean algebra has a closed subbase consisting of all sublattices, whereas the order topology on an atomic Boolean algebra has a closed subbase consisting of all sub-complete lattices. It is also shown that the order topology on an atomic Boolean algebra is autouniformizable (in the sense defined by Rema [3]) and, if the ground set is infinite, strictly coarser than the ideal topology. The conditions Cl and C3 on a lattice, introduced by Kent [1], are shown to be slightly stronger than the condition “ bicompactly generated ”, and in complete lattices, where these conditions are satisfied, the order topology is shown to be coarser than the ideal topology.

Sign in / Sign up

Export Citation Format

Share Document