On uniform weak König's lemma
Under an Elsevier user license
open archive
MSC
03F10
03F25
03F35
03F50
03D65
Keywords
König's lemma
Higher order arithmetic
Functionals of finite type
Fan rule
Explicit mathematics
Cited by (0)
Copyright © 2002 Elsevier Science B.V. All rights reserved.