The following pages link to (Q3489978):
Displaying 9 items.
- An arithmetical view to first-order logic (Q636314) (← links)
- (Q3001100) (← links)
- (Q3819041) (← links)
- (Q3981005) (← links)
- Undecidability results for restricted universally quantified formulae of set theory (Q4291741) (← links)
- (Q4865517) (← links)
- Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)
- Deciding Universality of ptNFAs is PSpace-Complete (Q5127189) (← links)
- Decidability results for sets with atoms (Q5277749) (← links)