arXiv subjects

Renato Brodzinski

Publications and source records attributed to Renato Brodzinski.

2 recordsLinked to original sources

arXiv2021

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

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.

math.LO↗

arXiv2020

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

We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existence of strongly inaccessible cardinals is entailed from our axioms. And our first important application is the introduction of a model of Zermelo-Fraenkel set theory where the Partition Principle (PP) holds but not the Axiom of Choice (AC). So, Flow allows us to answer to the oldest open problem in set theory: if PP entails AC.

math.LO↗