Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International