Pages that link to "Item:Q5681992"

The following pages link to The undecidability of intuitionistic theories of algebraically closed fields and real closed fields (Q5681992):

Displaying 2 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)