Skip to main content

All Questions

6 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers
52 views

Does there exist a multi-valued "monotone" and "compact" map from a Boolean algebra to the "free" part of $\mathcal{P}(\kappa)$?

This is a follow-up to my previous question, which has a negative answer. Here is the most general version that I'm interested: Does there exist a Boolean algebra $A$, an infinite cardinal $\kappa$, ...
David Gao's user avatar
  • 2,830
3 votes
1 answer
216 views

Existence of a quasi-open (a.k.a semi-open) map into a Cantor cube

Recall that a topological space is extremally disconnected if the closure of any open set is open. A continuous map is quasi-open if it maps nonempty open sets onto sets with nonempty interior. For ...
erz's user avatar
  • 5,529
2 votes
0 answers
96 views

Projective objects for compact po-spaces

Let us consider the following definition: a compact po-space is a pair $(X,\leq)$ where $X$ is a compact space and $\leq$ is an order, closed on $X^2$. Then, we can consider the category $KPoSp$ whose ...
Bijco's user avatar
  • 21
2 votes
0 answers
240 views

3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators

During my studies, I came across several different Stone spaces, e.g.: (i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators; ...
LJGC's user avatar
  • 207
2 votes
0 answers
73 views

Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions. Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...
C. Dubussy's user avatar
  • 1,017
0 votes
0 answers
41 views

Selectively countable Boolean algebras of sets (terminology)

I am interested in the name for the following property of a Boolean algebra $\mathcal A$ of subsets of a set $X$: $(\star)$ for any sequence $(A_n)_{n\in\omega}$ of pairwise disjoint nonempty sets in $...
Taras Banakh's user avatar
  • 41.8k