The self-embedding theorem of WKL0 and a non-standard method

Research output: Contribution to journalArticlepeer-review

16 Citations (Scopus)

Fingerprint Dive into the research topics of 'The self-embedding theorem of WKL<sub>0</sub> and a non-standard method'. Together they form a unique fingerprint.

Mathematics