Skip to main content
added remark from comments
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Call a poset locally countable if the set of predecessors of every member of the poset is countable. Is the following consistent?

There is no locally countable poset $P$ of size continuum such that every locally countable poset of size continuum embeds into $P$?

Remark: under ZFC+CH, there is such a universal locally countable poset: the Turing degrees. This is due to Sacks.

Call a poset locally countable if the set of predecessors of every member of the poset is countable. Is the following consistent?

There is no locally countable poset $P$ of size continuum such that every locally countable poset of size continuum embeds into $P$?

Call a poset locally countable if the set of predecessors of every member of the poset is countable. Is the following consistent?

There is no locally countable poset $P$ of size continuum such that every locally countable poset of size continuum embeds into $P$?

Remark: under ZFC+CH, there is such a universal locally countable poset: the Turing degrees. This is due to Sacks.

Source Link
Ashutosh
  • 9.6k
  • 1
  • 34
  • 55

Universal locally countable partial order

Call a poset locally countable if the set of predecessors of every member of the poset is countable. Is the following consistent?

There is no locally countable poset $P$ of size continuum such that every locally countable poset of size continuum embeds into $P$?