Timeline for Is "ZF+ V=L" an upper limit theory for cardinal decidability (per its strength)?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30, 2018 at 16:21 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 1075 characters in body
|
| Nov 30, 2018 at 15:14 | comment | added | Zuhair Al-Johar | @AndrésE.Caicedo yes you are right. | |
| Nov 30, 2018 at 14:26 | comment | added | Andrés E. Caicedo | This can be solved the same way you don't like: there are statements P that ZF+V=L does not decide but such that neither P nor not-P increases the strength of the theory. Using P you can cook up two definable sets whose sizes cannot be compared in ZF+V=L but are decided in ZF+V=L+P. | |
| Nov 30, 2018 at 12:33 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited title
|
| Nov 30, 2018 at 12:27 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 32 characters in body
|
| Nov 30, 2018 at 12:21 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |