Pages that link to "Item:Q3416111"
From MaRDI portal
The following pages link to Truth In V for ∃*∀∀-Sentences is Decidable (Q3416111):
Displaying 6 items.
- On interpretations of bounded arithmetic and bounded set theory (Q1038653) (← links)
- Decidability of \(\exists^*\forall\forall\)-sentences in HF (Q1049750) (← links)
- Three-quantifier sentences (Q4425144) (← links)
- Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)
- An ‘<i>i</i>’ for an <i>i</i>, a Truth for a Truth† (Q5149971) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)