Pages that link to "Item:Q4527909"

The following pages link to Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis (Q4527909):

Displaying 2 items.

• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)