Pages that link to "Heyting arithmetic"
Jump to navigation
Jump to search
The following pages link to Heyting arithmetic:
Displaying 23 items.
- Axiom of choice (← links)
- Constructivism (philosophy of mathematics) (← links)
- Intuitionistic logic (← links)
- Constructive analysis (← links)
- Strict conditional (← links)
- Disjunction and existence properties (← links)
- Brouwer–Heyting–Kolmogorov interpretation (← links)
- Epsilon-induction (← links)
- Constructive set theory (← links)
- History of mathematical notation (← links)
- Primitive recursive arithmetic (← links)
- Realizability (← links)
- Markov's principle (← links)
- Church's thesis (constructive mathematics) (← links)
- Dialectica interpretation (← links)
- Diaconescu's theorem (← links)
- Friedman translation (← links)
- Harrop formula (← links)
- Independence of premise (← links)
- Minimal logic (← links)
- Effective topos (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 February 1 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2020 February 20 (← links)