pith. sign in

arxiv: math/9412208 · v1 · pith:N6S66Y6Inew · submitted 1994-12-03 · 🧮 math.LO

Possible pcf algebras

classification 🧮 math.LO
keywords alphabetalambdaeveryomegathentherealgebras
0
0 comments X
read the original abstract

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit ordinal then $B_{\alpha}\cap\lambda$ is not in the ideal generated by the $B_{\beta}$, $\beta<\alpha$, and by the bounded subsets of $\lambda$, o there is a partition $\{A_n\}_{n=0}^{\infty}$ of $\omega_1$ such that for every $\alpha$ and every $n,$ $B_{\alpha}\cap A_n$ is finite.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.