{
  "id": "2103.16541",
  "version": "v1",
  "published": "2021-03-30T17:48:31.000Z",
  "updated": "2021-03-30T17:48:31.000Z",
  "title": "Flow: the Axiom of Choice is independent from the Partition Principle in ZFU",
  "authors": [
    "Adonai Sant'Anna",
    "Renato Brodzinski",
    "Marcio de França",
    "Otávio Bueno"
  ],
  "comment": "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"
  ],
  "abstract": "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2021-03-30T17:48:31.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C30"
    ],
    "keywords": [
      "independent",
      "partition principle entails",
      "oldest open problem",
      "partition principle holds",
      "first important application"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 44,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}