Timeline for Examples of first-order claims about the reals that are not preserved under forcing
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 28, 2023 at 18:18 | audit | First answers | |||
Oct 28, 2023 at 19:18 | |||||
Oct 26, 2023 at 13:45 | audit | First answers | |||
Oct 26, 2023 at 13:49 | |||||
Oct 25, 2023 at 2:39 | comment | added | Andrew Bacon | FWIW I was wavering about asking the variant question about second-order arithmetic -- the more interesting question in retrospect. But I have accepted @spaceisdarkgreen 's answer as it is the correct answer to the question I actually asked. | |
Oct 25, 2023 at 2:37 | comment | added | Andrew Bacon | Thanks, this answer was fascinating! I find it surprising that large cardinals can force second-order arithmetic to be forcing invariant. | |
Oct 24, 2023 at 17:04 | history | answered | Noah Schweber | CC BY-SA 4.0 |