Timeline for Is the theory Flow actually consistent?
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31, 2021 at 3:55 | comment | added | Adonai Sant'Anna | There is a fully revised version of the paper. We prove that, if Flow is consistent, then Axiom of Choice is independent from the Partition Principle in ZFU. arxiv.org/abs/2103.16541 | |
| Oct 27, 2020 at 12:37 | comment | added | Asaf Karagila♦ | Some thoughts on the paper: karagila.org/2020/flowing-to-conclusions | |
| Oct 11, 2020 at 15:50 | comment | added | Adonai Sant'Anna | We are working on a new version of our paper to provide answers to all your questions. | |
| Oct 11, 2020 at 8:00 | comment | added | David Roberts♦ | @NikWeaver but if they show Flow proves $\neg AC$, then we still don't know! | |
| Oct 11, 2020 at 7:56 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Gave paper title and authors
|
| Oct 10, 2020 at 13:19 | history | edited | Asaf Karagila♦ | CC BY-SA 4.0 |
Fixed the formulation of PP
|
| Oct 10, 2020 at 0:34 | history | became hot network question | |||
| Oct 9, 2020 at 22:40 | answer | added | Adonai Sant'Anna | timeline score: 24 | |
| Oct 9, 2020 at 21:56 | history | edited | Andrés E. Caicedo | CC BY-SA 4.0 |
added 3 characters in body
|
| Oct 9, 2020 at 18:41 | comment | added | Nik Weaver | @Jem then it seems we are lacking two consistency proofs here, not just one. | |
| Oct 9, 2020 at 17:04 | comment | added | Jem | @Nik Weaver Specifically, they prove [axioms F1-F11, F11T imply PP] and [axioms F1-F11, F11T and postulates Hyper-ZF-Sets and Hyperfunctions imply ¬AC], but do not prove that these systems themselves are consistent or provide models. | |
| Oct 9, 2020 at 16:57 | comment | added | Jem | Edited to be "consistent relative to some LCA" (I don't particularly care which, as long as it's not known to be inconsistent with ZFC and already exists) - and I agree that a quick answer is unlikely, but there may be something relatively obvious that I've missed that helps resolve it quickly. | |
| Oct 9, 2020 at 16:55 | comment | added | Nik Weaver | I suppose if they can show that Flow doesn't prove AC then they have shown Flow is consistent, right? | |
| Oct 9, 2020 at 16:54 | history | edited | Jem | CC BY-SA 4.0 |
added 23 characters in body
|
| Oct 9, 2020 at 16:52 | comment | added | Asaf Karagila♦ | I think that considering that this is a theory that is in the wild less than 24 hours, it's a bit unreasonable to expect an answer. | |
| Oct 9, 2020 at 16:34 | history | edited | Wojowu | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Oct 9, 2020 at 16:33 | comment | added | Jem | The theory has been discussed somewhat on Twitter also, so some relevant information may appear there: twitter.com/AndresECaicedo1/status/1314431294676197377 | |
| Oct 9, 2020 at 16:32 | history | asked | Jem | CC BY-SA 4.0 |