Skip to main content
1 of 2
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$?

Ashutosh
  • 9.6k
  • 1
  • 34
  • 55