Timeline for What is the proof of consistency of anterior reflection?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 29 at 15:31 | comment | added | Joel David Hamkins | Yes, that is what I meant. | |
Feb 28 at 20:57 | comment | added | Zuhair Al-Johar | Just want to make sure. To be pedantic, when you say the "initial quantifiers of $\varphi$" you mean the segment on the LEFT. So for example $\forall A \exists x \forall y: \psi$ so here $\forall A$ , or $\forall A \exists x$ would be examples of proper initial quantifiers. Because, that's what I mean by "anterior" in my stated qualification. | |
Feb 24 at 14:03 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
typo
|
Feb 24 at 11:59 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 120 characters in body
|
Feb 24 at 11:55 | vote | accept | Zuhair Al-Johar | ||
Feb 24 at 11:42 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |