Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Heyting_arithmetic> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Heyting_arithmetic abstract "In mathematical logic, Heyting arithmetic (sometimes abbreviated HA) is an axiomatization of arithmetic in accordance with the philosophy of intuitionism (Troelstra 1973:18). It is named after Arend Heyting, who first proposed it.".
- Heyting_arithmetic wikiPageExternalLink IntNumTheHeyAri.
- Heyting_arithmetic wikiPageExternalLink HA.ps.
- Heyting_arithmetic wikiPageID "2545815".
- Heyting_arithmetic wikiPageLength "2231".
- Heyting_arithmetic wikiPageOutDegree "20".
- Heyting_arithmetic wikiPageRevisionID "694508853".
- Heyting_arithmetic wikiPageWikiLink Arend_Heyting.
- Heyting_arithmetic wikiPageWikiLink Boolean_algebra_(structure).
- Heyting_arithmetic wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Heyting_arithmetic wikiPageWikiLink Category:Constructivism_(mathematics).
- Heyting_arithmetic wikiPageWikiLink Category:Intuitionism.
- Heyting_arithmetic wikiPageWikiLink Double-negation_translation.
- Heyting_arithmetic wikiPageWikiLink Free_variables_and_bound_variables.
- Heyting_arithmetic wikiPageWikiLink Harrop_formula.
- Heyting_arithmetic wikiPageWikiLink Heyting_algebra.
- Heyting_arithmetic wikiPageWikiLink Intuitionism.
- Heyting_arithmetic wikiPageWikiLink Intuitionistic_logic.
- Heyting_arithmetic wikiPageWikiLink Joan_Moschovakis.
- Heyting_arithmetic wikiPageWikiLink Kurt_Gödel.
- Heyting_arithmetic wikiPageWikiLink Law_of_excluded_middle.
- Heyting_arithmetic wikiPageWikiLink Mathematical_logic.
- Heyting_arithmetic wikiPageWikiLink Natural_number.
- Heyting_arithmetic wikiPageWikiLink Peano_axioms.
- Heyting_arithmetic wikiPageWikiLink Predicate_(mathematical_logic).
- Heyting_arithmetic wikiPageWikiLink Quantifier_(logic).
- Heyting_arithmetic wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Heyting_arithmetic wikiPageWikiLinkText "Heyting arithmetic".
- Heyting_arithmetic wikiPageWikiLinkText "arithmetic".
- Heyting_arithmetic wikiPageUsesTemplate Template:Mathlogic-stub.
- Heyting_arithmetic wikiPageUsesTemplate Template:Non-classical_logic.
- Heyting_arithmetic subject Category:Constructivism_(mathematics).
- Heyting_arithmetic subject Category:Intuitionism.
- Heyting_arithmetic hypernym Axiomatization.
- Heyting_arithmetic type Theory.
- Heyting_arithmetic comment "In mathematical logic, Heyting arithmetic (sometimes abbreviated HA) is an axiomatization of arithmetic in accordance with the philosophy of intuitionism (Troelstra 1973:18). It is named after Arend Heyting, who first proposed it.".
- Heyting_arithmetic label "Heyting arithmetic".
- Heyting_arithmetic sameAs Q5548813.
- Heyting_arithmetic sameAs Aritmética_de_Heyting.
- Heyting_arithmetic sameAs Aritmética_de_Heyting.
- Heyting_arithmetic sameAs m.07m609.
- Heyting_arithmetic sameAs Q5548813.
- Heyting_arithmetic wasDerivedFrom Heyting_arithmetic?oldid=694508853.
- Heyting_arithmetic isPrimaryTopicOf Heyting_arithmetic.