Friedman translation
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.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Friedman translation
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.
has abstract
In mathematical logic, the Fri ...... s discoverer, Harvey Friedman.
@en
Wikipage page ID
21,775,342
page length (characters) of wiki page
Wikipage revision ID
597,640,077
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
In mathematical logic, the Fri ...... s discoverer, Harvey Friedman.
@en
label
Friedman translation
@en