Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Friedman_translation> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Friedman_translation abstract "In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas. Among other things it can be used to show that the Π02-theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics. It is named after its discoverer, Harvey Friedman.".
- Friedman_translation wikiPageID "21775342".
- Friedman_translation wikiPageLength "2639".
- Friedman_translation wikiPageOutDegree "14".
- Friedman_translation wikiPageRevisionID "597640077".
- Friedman_translation wikiPageWikiLink Arithmetical_hierarchy.
- Friedman_translation wikiPageWikiLink Category:Constructivism_(mathematics).
- Friedman_translation wikiPageWikiLink Category:Proof_theory.
- Friedman_translation wikiPageWikiLink Conservative_extension.
- Friedman_translation wikiPageWikiLink Double-negation_translation.
- Friedman_translation wikiPageWikiLink First-order_theories.
- Friedman_translation wikiPageWikiLink Gödel–Gentzen_negative_translation.
- Friedman_translation wikiPageWikiLink Harvey_Friedman.
- Friedman_translation wikiPageWikiLink Heyting_arithmetic.
- Friedman_translation wikiPageWikiLink Intuitionistic_logic.
- Friedman_translation wikiPageWikiLink List_of_first-order_theories.
- Friedman_translation wikiPageWikiLink Markov_rule.
- Friedman_translation wikiPageWikiLink Markovs_principle.
- Friedman_translation wikiPageWikiLink Mathematical_logic.
- Friedman_translation wikiPageWikiLink Peano_arithmetic.
- Friedman_translation wikiPageWikiLink Peano_axioms.
- Friedman_translation wikiPageWikiLink Well-formed_formula.
- Friedman_translation wikiPageWikiLinkText "Friedman translation".
- Friedman_translation hasPhotoCollection Friedman_translation.
- Friedman_translation wikiPageUsesTemplate Template:=.
- Friedman_translation wikiPageUsesTemplate Template:Reflist.
- Friedman_translation subject Category:Constructivism_(mathematics).
- Friedman_translation subject Category:Proof_theory.
- Friedman_translation hypernym Transformation.
- Friedman_translation type ProgrammingLanguage.
- Friedman_translation type Proof.
- Friedman_translation type Theory.
- Friedman_translation comment "In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas. Among other things it can be used to show that the Π02-theorems of various first-order theories of classical mathematics are also theorems of intuitionistic mathematics. It is named after its discoverer, Harvey Friedman.".
- Friedman_translation label "Friedman translation".
- Friedman_translation sameAs m.05mzgrt.
- Friedman_translation sameAs Q5503698.
- Friedman_translation sameAs Q5503698.
- Friedman_translation wasDerivedFrom Friedman_translation?oldid=597640077.
- Friedman_translation isPrimaryTopicOf Friedman_translation.