Skip to main content
edited tags
Link
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47
Post Undeleted by Zuhair Al-Johar
Post Deleted by Zuhair Al-Johar
Source Link
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Can we have all classes that can be partitioned into non-singleton finite sets, be sets?

Working in a suitable extension of $\sf ZF-Reg.$, can we have a transitive model $M$ of $\sf ZF-Reg.$ such that for every set in $M$ there is a partition on it in $M$ all compartments of which are non-singleton finite sets. And such that any subset $X$ of $M$ that is a family of pairwise disjoint larger than singleton finite sets then $X \in M$.