On sets not belonging to algebras

Journal of Symbolic Logic 72 (2):483-500 (2007)
  Copy   BIBTEX

Abstract

Let A₁,..., An, An+1 be a finite sequence of algebras of sets given on a set X, $\cup _{k=1}^{n}{\cal A}_{k}\neq \germ{P}(X)$, with more than $\frac{4}{3}n$ pairwise disjoint sets not belonging to An+1. It was shown in [4] and [5] that in this case $\cup _{k=1}^{n+1}{\cal A}_{k}\neq \germ{P}(X)$. Let us consider, instead An+1, a finite sequence of algebras An+1,..., An+l. It turns out that if for each natural i ≤ l there exist no less than $\frac{4}{3}(n+l)-\frac{l}{24}$ pairwise disjoint sets not belonging to An+i, then $\cup _{k=1}^{n+1}{\cal A}_{k}\neq \germ{P}(X)$. But if l ≥ 195 and if for each natural i ≤ l there exist no less than $\frac{4}{3}(n+l)-\frac{l}{15}$ pairwise disjoint sets not belonging to An+i, then $\cup _{k=1}^{n+1}{\cal A}_{k}\neq \germ{P}(X)$. After consideration of finite sequences of algebras, it is natural to consider countable sequences of algebras. We obtained two essentially important theorems on a countable sequence of almost σ-algebras (the concept of almost σ-algebra was introduced in [4])

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the Kleene degrees of Π 1 1 sets.Theodore A. Slaman - 1986 - Journal of Symbolic Logic 51 (2):352-359.
Degrees of difficulty of generalized r.e. separating classes.Douglas Cenzer & Peter G. Hinman - 2008 - Archive for Mathematical Logic 46 (7-8):629-647.
The spectrum of partitions of a Boolean algebra.J. Donald Monk - 2001 - Archive for Mathematical Logic 40 (4):243-254.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
On the degree of incompleteness of modal logics.W. Blok - 1978 - Bulletin of the Section of Logic 7 (4):167-172.
Countable unions of simple sets in the core model.P. D. Welch - 1996 - Journal of Symbolic Logic 61 (1):293-312.

Analytics

Added to PP
2010-08-24

Downloads
21 (#1,007,111)

6 months
11 (#348,792)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references