Back to Results
First PageMeta Content
Proof theory / Computability theory / Functions and mappings / Reverse mathematics / Mathematical proofs / Primitive recursive function / Gödel–Gentzen negative translation / Primitive recursive arithmetic / Second-order arithmetic / Mathematics / Mathematical logic / Logic


BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma
Add to Reading List

Document Date: 1999-06-22 09:34:21

Open Document

File Size: 147,67 KB

Share Result on Facebook

Country

Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /

Organization

Danish National Research Foundation / Ulrich Kohlenbach BRICS∗ Department / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /

Person

Ulrich Kohlenbach / /

/

ProgrammingLanguage

C / K / /

ProvinceOrState

Pennsylvania / /

URL

ftp /

SocialTag