arXiv Analytics

Sign in

arXiv:2103.16541 [math.LO]AbstractReferencesReviewsResources

Flow: the Axiom of Choice is independent from the Partition Principle in ZFU

Adonai Sant'Anna, Renato Brodzinski, Marcio de França, Otávio Bueno

Published 2021-03-30Version 1

We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as natural consequences from our framework. Our first important application is the introduction of a model of ZFU where the Partition Principle holds but the Axiom of Choice fails, if Flow is consistent. So, our framework allows us to address the oldest open problem in set theory: if the Partition Principle entails the Axiom of Choice.

Comments: 44 pages, 3 figures, 2 tables. This is a fully revised version of a previous work. arXiv admin note: substantial text overlap with arXiv:2010.03664
Categories: math.LO
Subjects: 03C30
Related articles: Most relevant | Search more
arXiv:2010.03664 [math.LO] (Published 2020-10-07)
Flow: the Axiom of Choice is independent from the Partition Principle
arXiv:math/9405215 [math.LO] (Published 1994-05-15)
On a theorem of Shapiro
arXiv:1908.04477 [math.LO] (Published 2019-08-13)
Polarized relations at singulars over successors

Links

Toolbox