Back to Results
First PageMeta Content
Computability theory / Proof theory / Model theory / Functions and mappings / Elementary function arithmetic / Peano axioms / Primitive recursive function / Primitive recursive arithmetic / Second-order arithmetic / Mathematical logic / Mathematics / Logic


Document Date: 2013-10-02 10:18:56

Open Document

File Size: 249,66 KB

Share Result on Facebook

Company

Tennant / RCA / /

Country

United States / /

/

Facility

University of Pittsburgh’s Center / Carnegie Mellon University / /

IndustryTerm

mathematical applications / proof mining / minimal systems / proof-mining program / /

Organization

University of Pittsburgh’s Center for Philosophy of Science / Department of Philosophy / Carnegie Mellon University / Pittsburgh / /

Person

Harvey Friedman / Georg Cantor / Gaisi Takeuti / Jeremy Avigad / Charles Parsons / Neil Tennant / Patrick Cegielski / Robert Solovay / Robert Soare / Grigori Mints / Alex Wilkie / Stephen Kleene / Rohit Parikh / Jeff Paris / Carl Jockusch / Ulrich Kohlenbach / Steve Awodey / Dana Scott / Jeffrey Paris / Wilhelm Ackermann / Andrew Arana / Fernando Ferreira / Leo Harrington / Wilfried Sieg / Stephen Simpson / Rick Smith / Teddy Seidenfeld / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

the Annals of Mathematics / Philosophy of Science / /

SocialTag