About: Heyting arithmetic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Axiomatization of arithmetic

Property	Value
dbo:description	axiomatisation de l'arithmétique (fr) axiomatization of arithmetic (en) una axiomatització de l'aritmètica (ca)
dbo:wikiPageExternalLink	https://www.jstor.org/stable/2586698%3Fseq=1 http://plato.stanford.edu/entries/logic-intuitionistic/%23IntNumTheHeyAri
dbo:wikiPageWikiLink	dbr:Admissible_rule dbr:Interpretation_(model_theory) dbr:Georg_Kreisel dbr:Binary_number dbr:Recursion dbr:Quantifier_(logic) dbr:Arend_Heyting dbr:Hilbert's_tenth_problem dbr:Löwenheim–Skolem_theorem dbr:Markov's_principle dbr:Minimal_logic dbr:Proof_assistant dbr:Jacques_Herbrand dbr:Gödel's_incompleteness_theorems dbr:Proof_theory dbc:Formal_theories_of_arithmetic dbr:Heyting_algebra dbr:Friedman_translation dbc:Intuitionism dbr:Constructive_analysis dbr:Axiom_of_power_set dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Boolean_algebra_(structure) dbc:Constructivism_(mathematics) dbr:Intuitionistic_logic dbr:Dependent_type dbr:Non-standard_model dbr:Kurt_Gödel dbr:Alonzo_Church dbr:Axiom_of_separation dbr:Epsilon_induction dbr:Mathematical_logic dbr:Ulrich_Kohlenbach dbr:Axiom_of_regularity dbr:Realizability dbr:Undecidable_problem dbr:Disjunction_and_existence_properties dbr:General_recursive_function dbr:Axiom_of_infinity dbr:Choice_sequence dbr:Harrop_formula dbr:Kleene's_T_predicate dbr:Nels_David_Nelson dbr:Natural_number dbr:Stanford_Encyclopedia_of_Philosophy dbr:Church's_thesis_(constructive_mathematics) dbr:Constructive_set_theory dbr:Axiom_schema_of_predicative_separation dbr:BIT_predicate dbr:Free_variables dbr:Intuitionism dbr:Function_spaces dbr:Joan_Moschovakis dbr:Brouwerian dbr:Peano_arithmetic dbr:Kleene dbr:BHK_interpretation dbr:Heyting dbr:Law_of_the_excluded_middle dbr:Predicate_(mathematics) dbr:Primitive_recursive dbr:Double-negation_elimination dbr:Gödel dbr:Gödel–Gentzen_negative_translation dbr:Anne_S._Troelstra dbr:Induction_(mathematics) dbr:Intensional_equality
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:TOC_right dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Formal_theories_of_arithmetic dbc:Intuitionism dbc:Constructivism_(mathematics)
gold:hypernym	dbr:Axiomatization
rdfs:label	Heyting arithmetic (en) Aritmética de Heyting (es) Heyting-Arithmetik (de) Aritmética de Heyting (pt)
owl:sameAs	yago-res:Heyting arithmetic freebase:Heyting arithmetic wikidata:Heyting arithmetic dbpedia-de:Heyting arithmetic dbpedia-pt:Heyting arithmetic dbpedia-es:Heyting arithmetic dbpedia-global:Heyting arithmetic
prov:wasDerivedFrom	wikipedia-en:Heyting_arithmetic?oldid=1279665994&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Heyting_arithmetic
is dbo:knownFor of	dbr:Arend_Heyting
is dbo:wikiPageRedirects of	dbr:Intuitionistic_arithmetic
is dbo:wikiPageWikiLink of	dbr:Arend_Heyting dbr:Markov's_principle dbr:Minimal_logic dbr:Strict_conditional dbr:Friedman_translation dbr:Dialectica_interpretation dbr:Double-negation_translation dbr:History_of_mathematical_notation dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Primitive_recursive_arithmetic dbr:Diaconescu's_theorem dbr:Realizability dbr:Disjunction_and_existence_properties dbr:Scientific_phenomena_named_after_people dbr:Constructivism_(philosophy_of_mathematics) dbr:Harrop_formula dbr:Axiom_of_choice dbr:Church's_thesis_(constructive_mathematics) dbr:Andrzej_Grzegorczyk dbr:Constructive_set_theory dbr:Hereditarily_finite_set dbr:Intuitionistic_arithmetic
is dbp:knownFor of	dbr:Arend_Heyting
is foaf:primaryTopic of	wikipedia-en:Heyting_arithmetic