About: Realizability

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

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.math.uu.nl/people/jvoosten/realizability.html http://www.math.uu.nl/people/jvoosten/realizability/history.ps.gz https://www.staff.science.uu.nl/~ooste110/realizability/birkoost.ps.gz
dbo:wikiPageWikiLink	dbr:Heyting_arithmetic dbr:Proof_mining dbr:Computable_function dbr:Mathematical_logic dbr:Proof_theory dbr:Dialectica_interpretation dbr:Pairing_function dbr:Typed_lambda_calculus dbr:Curry–Howard_correspondence dbr:Stephen_Cole_Kleene dbr:Proof_assistant dbr:Primitive_recursive_function dbr:Markov's_principle dbr:Coq dbr:Constructive_proof dbc:Constructivism_(mathematics) dbc:Proof_theory dbr:Disjunction_and_existence_properties dbr:Harrop_formula dbr:Topos_theory dbr:BHK_interpretation dbr:Realizability_topos
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:About dbt:Cite_journal
dct:subject	dbc:Constructivism_(mathematics) dbc:Proof_theory
gold:hypernym	dbr:Collection
rdfs:label	Realizability (en) Réalisabilité (fr) 実現可能性 (論理学) (ja) Realizabilidade (pt) 可实现性 (zh)
owl:sameAs	freebase:Realizability wikidata:Realizability dbpedia-fr:Realizability dbpedia-ja:Realizability dbpedia-pt:Realizability dbpedia-zh:Realizability dbpedia-global:Realizability
prov:wasDerivedFrom	wikipedia-en:Realizability?oldid=1311883758&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Realizability
is dbo:knownFor of	dbr:Stephen_Cole_Kleene
is dbo:wikiPageRedirects of	dbr:Realisability dbr:Realisable dbr:Realisably dbr:Realizable dbr:Realizably
is dbo:wikiPageWikiLink of	dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Heyting_arithmetic dbr:Intuitionistic_logic dbr:Constructive_set_theory dbr:Intermediate_logic dbr:Curry–Howard_correspondence dbr:Mihalis_Yannakakis dbr:Stephen_Cole_Kleene dbr:Markov's_principle dbr:Church's_thesis_(constructive_mathematics) dbr:Ludics dbr:History_of_logic dbr:Timeline_of_mathematics dbr:Index_of_philosophy_articles_(R–Z) dbr:Disjunction_and_existence_properties dbr:Harrop_formula dbr:Realisability dbr:Realisable dbr:Realisably dbr:Realizable dbr:Realizably
is foaf:primaryTopic of	wikipedia-en:Realizability