Pages that link to "Item:Q1409304"

The following pages link to The decidability of the \(\forall ^*\exists\) class and the axiom of foundation (Q1409304):

Displaying 8 items.

• Explicit description of spherical rigid hypersurfaces in \(\mathbb C^2\) (Q289639) (← links)
• Decidability of \(\exists^*\forall\forall\)-sentences in HF (Q1049750) (← links)
• Decidability and completeness for open formulas of membership theories (Q1903592) (← links)
• The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
• (Q3333034) (← links)
• THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION (Q4295224) (← links)
• Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)
• Delta-decision procedures for exists-forall problems over the reals (Q6039404) (← links)