Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
207 views

What algebraic identities does the iteration of forcing operation satisfy?

Let $G$ be the set of all formulas $\phi(x)$ in the language of such that $ZFC\vdash\exists x\phi(x)$ exists, $ZFC\vdash\phi(x)\rightarrow``x\,\textrm{is a complete Boolean algebra}"$, $ZFC\vdash``\...
Joseph Van Name's user avatar
18 votes
4 answers
2k views

Complete Boolean algebra not isomorphic to a $\sigma$-algebra

Does there exist a complete Boolean algebra that is not isomorphic to any $\sigma$-algebra? If so, what is an easy or canonical example or construction?
Bjørn Kjos-Hanssen's user avatar
6 votes
1 answer
934 views

The universal algebra of a $\sigma$-algebra

I am searching for the 'dual' algebraic structure of a $\sigma$-algebra. The notion of duality is like in the case of the Boolean algebra and set algebra. If $X$ is a set, the complement and ...
zeh's user avatar
  • 191
12 votes
5 answers
2k views

Jonsson Boolean algebras?

Let us say that a mathematical structure of cardinality $\omega_1$ is Jonsson whenever every one of its proper substructures is countable. There are examples of Jonsson groups due to Shelah or ...
Tomasz Kania's user avatar
  • 11.3k