Timeline for How to characterize properties that behave well with Reflection Principles
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2022 at 14:14 | answer | added | Joel David Hamkins | timeline score: 6 | |
| S Dec 31, 2022 at 9:42 | history | edited | gmvh | CC BY-SA 4.0 |
Added quote from Wang reference, corrected grammar
|
| S Dec 31, 2022 at 9:42 | history | suggested | user76284 | CC BY-SA 4.0 |
Added quote from Wang reference
|
| Dec 31, 2022 at 3:16 | review | Suggested edits | |||
| S Dec 31, 2022 at 9:42 | |||||
| Apr 14, 2022 at 4:10 | comment | added | C7X | A principle of reflection that ZF proves holds is on page 97 of the same book, there called the Complete Reflection Principle and if I remember correctly it's also called the Levy-Montague reflection principle. So being a $\mathcal L_\in$ formula true in $V$ is a property that's sufficient to be reflected | |
| S Apr 3, 2022 at 15:56 | review | First questions | |||
| Apr 3, 2022 at 16:55 | |||||
| S Apr 3, 2022 at 15:56 | history | asked | chiara | CC BY-SA 4.0 |