Higher Order Reverse Mathematics

Higher Order Reverse Mathematics (2000)

Cached

Download Links

by Ulrich Kohlenbach

Citations:

BibTeX

@MISC{Kohlenbach00higherorder,
    author = {Ulrich Kohlenbach},
    title = { Higher Order Reverse Mathematics},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

200	Introduction to Computable Analysis - Weihrauch - 2000
136	Subsystems of Second Order Arithmetic - Simpson - 1999
115	Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, volume 344 of LNM - Troelstra - 1973
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
52	Gödel’s functional (“Dialectica”) interpretation - Avigad, Feferman
51	Recursive functionals and quantifiers of finite types - Kleene - 1959
36	Theories of finite type related to mathematical practice - Feferman - 1977
26	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals - Kohlenbach - 1996
22	Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation - Kohlenbach - 1993
18	Systems of second order arithmetic with restricted induction - Friedman - 1976
16	Proof theory and computational analysis - Kohlenbach - 1998
10	E#ective moduli from ine#ective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebyche# approximation - Kohlenbach - 1993
8	On effectively discontinuous type-2 objects - Grilliot - 1971
8	Note on the fan theorem - Troelstra - 1974
5	Fixed point theory in weak second-order arithmetic - Shioji, Tanaka - 1990
4	Foundations of Constructive Mathematics. Springer Ergebnisse der Mathematik und ihrer Grenzgebiete 3.Folge - Beeson - 1985
2	Things that can and things that can't be done - Kohlenbach - 2000
1	On the uniform weak Konig's lemma. To appear in: Ann. Pure Appl. Logic (special issue in honor of Professor A - Kohlenbach
1	Foundational and mathematical uses of higher types. To appear in forthcoming Festschrift in honor of Professor Solomon Feferman - Kohlenbach