Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 5903

A Boolean algebra is a commutative ring satisfying x²=x for every x, and sometimes required to have a unit; they have characteristic 2. For coding theory (notably dealing with subsets linear subspaces of spaces of Boolean functions), rather use the [coding-theory] or [linear-algebra] tag.

4 votes

Is there such a thing as the sigma-completion of a Boolean algebra?

This question was answered in topological terms by J. Vermeer in The smallest basically disconnected preimage of a space. Topology Appl. 17 (1984), no. 3, 217–232. See here for a review and here for t …
KP Hart's user avatar
  • 11.4k
3 votes

Chain of ideals in a BA

Take te interval algebra, $B$, of the ordinal $\omega_1\times\omega$; for $n\in\omega$ let $I_n$ be the ideal consisting of the elements of $B$ that are bounded below $\omega_1\times n$. None of the i …
KP Hart's user avatar
  • 11.4k
2 votes

Can this ultrafilter convergence condition be expressed as a compactness condition?

Your condition amounts to saying that the uniformity $\mathcal{C}$ generated by all clopen partitions is complete: 'partition-prime' is the same as '$\mathcal{C}$-Cauchy'. It is also implied by the co …
KP Hart's user avatar
  • 11.4k
16 votes
Accepted

Is Stone-Čech compactification of 0-dimensional space also 0-dimensional?

In this paper (Spaces $N\cup\mathscr{R}$ and their dimensions, Topol. Appl. 11(1) 1980 93-102) — I hope the PDF is freely available) Jun Terasawa constructs maximal almost disjoint families on $\mathb …
KP Hart's user avatar
  • 11.4k
2 votes
Accepted

Description of atomless complete Boolean algebras with a countable $\pi$-base

To make the answers concrete: the Boolean algebra of clopen subsets of the Cantor set is the unique countable atomless Boolean algebra. Its completion is the regular-open algebra of the Cantor set, wh …
KP Hart's user avatar
  • 11.4k
2 votes
Accepted

Complete CCC Boolean algebras (or Stonean spaces)

A partial answer to the question about the Gleason cover of the unit interval: it can be found everywhere in every compact extremally disconnected space. The point is: in a compact extremally disconne …
KP Hart's user avatar
  • 11.4k
9 votes
Accepted

A strictly descending chain of subalgebras of $P(\omega)/_{\mathrm{fin}}$

There is a family $\{K_X:X\subseteq\mathfrak{c}\}$ of separable compact zero-dimensional spaces such that there is a continuous surjection of $K_X$ onto $K_Y$ if and only if $X\subseteq Y$. These spac …
KP Hart's user avatar
  • 11.4k
1 vote

About the existence of a particular kind of "splitting" function on atomless complete Boolea...

I think you are asking too much. Assume we have such a function and let $a$ be nonzero such that both $a_0$ and $a_1$ are nonzero. Then $b\le a_0$ implies $b_1=0$ and $b\le a_1$ implies $b_0=0$. If …
KP Hart's user avatar
  • 11.4k
4 votes
Accepted

Extremally disconnected rigid infinite Hausdorff compacta(?)

This paper, Rigid Stone spaces within $\mathsf{ZFC}$ by Dow, Gubbi, and Szymański contains relatively easy examples of such spaces.
KP Hart's user avatar
  • 11.4k
6 votes

A unique ultrafilter extending a union of filters?

The following is due to Alan Dow: In any model obtained by adding $\aleph_2$ many Cohen reals to a model of $\mathsf{CH}$ the statement is false. We force with $\mathbb{P}=\operatorname{Fn}(\omega_2, …
KP Hart's user avatar
  • 11.4k
3 votes

Ideals on $\mathbb N$ and large sets that have small intersection

In topological language: for any closed subset, $F$, of $\beta\mathbb{N}\setminus\mathbb{N}$ the family $I_F=\{A:A^*\cap F=\emptyset\}$ is an ideal. Your property translates into: the closed set $F$ i …
KP Hart's user avatar
  • 11.4k
5 votes

Self-homeomorphism of Stone-Čech boundary with an isolated fixed point

As an answer to the bonus question: no, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314 …
KP Hart's user avatar
  • 11.4k
5 votes
Accepted

A problem of non-emptiness of intersections of certain chains of regular open sets

Here is a provisional negative answer. If $\mathcal{C}$ is a c-minimal chain then $N=\bigcap\mathcal{C}$ is closed and nowhere dense (if nonempty): if the interior is nonempty take a nonempty regular …
KP Hart's user avatar
  • 11.4k
6 votes
Accepted

Can the Boolean Algebra of regular open sets be isomorphic to ${\cal P}(\omega)/(\text{fin})$?

No, $\mathrm{RO}(X)$ is complete; $\mathcal{P}(\omega)/\mathit{fin}$ is not (no strictly increasing sequence has a supremum).
KP Hart's user avatar
  • 11.4k
4 votes
Accepted

Copy of $P(\omega)/\mathrm{fin}$ on $\omega_1$

To expand my comment into an answer: take, for each $n\in\omega$, a uniform ultrafilter $u_n$ on $\omega_1$ that contains the set $\{\lambda+n:\lambda$ is a limit or $0\}$. The set $U=\{u_n:n\in\omega …
KP Hart's user avatar
  • 11.4k

15 30 50 per page