« first day (1918 days earlier)      last day (2548 days later) » 

8:33 AM
in Mathematics, 40 mins ago, by Alessandro Codenotti
@Martin is every countable ordinal order isomorphic to a subset of $\mathcal{P}(\Bbb N)$ partially ordered by inclusion?
@AlessandroCodenotti Every countable ordinal is isomorphic to a subset of $\mathbb Q$ with the usual ordering.
See this question: Countable ordinals are embeddable in the rationals $\Bbb Q$ — proofs and their use of AC. And probably some of the questions linked there are even more relevant.
And I think you have a rather straightforward isomorphism between $\mathbb Q$ and "lowers sets", by which I mean the sets of the form $A_q=\{x\in\mathbb Q; x<q\}$.
In this way you for any subset of $\mathbb Q$ a subset of $\mathcal P(\mathbb Q)$ ordered by inclusion.
Since only cardinality of $X$ is important for $(\mathcal P(X),\subseteq)$, working with $(\mathcal P(\mathbb Q),\subseteq)$ is the same as working with $(\mathcal P(\mathbb N,\subseteq)$.
This is related to the isomorphism I mentioned above:
4
A: Finding an uncountable chain of subsets the integers

Tobias KildetoftAs mentioned in Uncountable chains (in the question itself), one can do this as follows: Pick a bijection between $\mathbb{N}$ and $\mathbb{Q}$ so it suffices to find such a chain in the powerset of $\mathbb{Q}$. But $\mathbb{Q}\subseteq\mathbb{R}$ so for any real number $r$ we can define the su...

And also this might be related:
12
Q: Uncountable chains

Adam$P(\mathbb N)$ = power set of $\mathbb N$. $A \subset P(\mathbb N)$ is a chain if $a,b \in A \implies$ either $a \subseteq b$ or $ b \subseteq a$ That is we have something like this: $$\ldots a \subseteq b \subseteq c \subseteq\ldots$$ where $a,b,c \in A$ are distinct. We can show easy enough...

8
Q: totally ordered chain in the powerset with big cardinality

ToinkLet $B$ be some set. The problem is to find a set $A\subset\mathcal{P}(B)$ of subsets of $B$ which is totally ordered by inclusion and such that there exists a bijection $A\leftrightarrow \mathcal{P}(B)$. This is an easy exercise if $B$ is countable where one can explicitly construct such a set ...

I found the above links in an older discussion in this chat room: chat.stackexchange.com/transcript/2318/2017/2/1
 
thanks for the links, I'm about to read them
 
9:27 AM
@AlessandroCodenotti I also tried to sketch the argument why I think that answer to your question is Yes in the messages above. But the linked posts might be interesting in this context, too.
I do not know whether exactly your questions have been asked on either of the two sites. But as you can see, there are several questions about size of chains in a powerset ordered by inclusion.
 

« first day (1918 days earlier)      last day (2548 days later) »