Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Heyting_arithmetic> }
Showing triples 1 to 20 of
20
with 100 triples per page.
- Intuitionistic_arithmetic wikiPageRedirects Heyting_arithmetic.
- Arend_Heyting wikiPageWikiLink Heyting_arithmetic.
- Axiom_of_choice wikiPageWikiLink Heyting_arithmetic.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Heyting_arithmetic.
- Churchs_thesis_(constructive_mathematics) wikiPageWikiLink Heyting_arithmetic.
- Constructivism_(mathematics) wikiPageWikiLink Heyting_arithmetic.
- Diaconescus_theorem wikiPageWikiLink Heyting_arithmetic.
- Dialectica_interpretation wikiPageWikiLink Heyting_arithmetic.
- Disjunction_and_existence_properties wikiPageWikiLink Heyting_arithmetic.
- Double-negation_translation wikiPageWikiLink Heyting_arithmetic.
- Friedman_translation wikiPageWikiLink Heyting_arithmetic.
- Harrop_formula wikiPageWikiLink Heyting_arithmetic.
- History_of_mathematical_notation wikiPageWikiLink Heyting_arithmetic.
- Intuitionism wikiPageWikiLink Heyting_arithmetic.
- Intuitionistic_arithmetic wikiPageWikiLink Heyting_arithmetic.
- Markovs_principle wikiPageWikiLink Heyting_arithmetic.
- Primitive_recursive_arithmetic wikiPageWikiLink Heyting_arithmetic.
- Realizability wikiPageWikiLink Heyting_arithmetic.
- Scientific_phenomena_named_after_people wikiPageWikiLink Heyting_arithmetic.
- Heyting_arithmetic primaryTopic Heyting_arithmetic.