Skip to main content
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