Pages that link to "Item:Q5681991"

The following pages link to Sufficient conditions for the undecidability of intuitionistic theories with applications (Q5681991):

Displaying 5 items.

• The decision problem for some finite extensions of the intuitionistic theory of abelian groups (Q1217798) (← links)
• On 2nd order intuitionistic propositional calculus with full comprehension (Q4777262) (← links)
• Elementary intuitionistic theories (Q5676209) (← links)
• Decidability of some intuitionistic predicate theories (Q5681990) (← links)
• The undecidability of intuitionistic theories of algebraically closed fields and real closed fields (Q5681992) (← links)