Pages that link to "Item:Q781509"

The following pages link to Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509):

Displaying 3 items.

• On the independence of premiss axiom and rule (Q2204366) (← links)
• The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)