The following pages link to Intuitionism As Generalization (Q3202987):
Displaying 14 items.
- Pluralism and proofs (Q488374) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- The priority of arithmetical truth over arithmetical provability (Q1607593) (← links)
- Intersubstitutivity principles and the generalization function of truth (Q1709089) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Algorithmic foundations of computable general equilibrium theory (Q2506353) (← links)
- The Kripke schema in metric topology (Q3144876) (← links)
- Five stages of accepting constructive mathematics (Q5122448) (← links)