Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
1 answer
626 views

Can $H_{\omega_1}$ and $H_{\omega_2}$ be in bi-interpretation synonymy?

This question concerns the possibility of the bi-interpretation synonymy of the structure $\langle H_{\omega_1},\in\rangle$, consisting of the hereditarily countable sets, and the structure $\langle ...