Philipp Gerhardy
From MaRDI portal
Person:819710
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 5859846 (Why is no real title available?) | 2011-03-02 | Paper |
| The ordinal of Skolem + tetration is \({\tau}_0\) Programs, Proofs, Processes | 2010-07-29 | Paper |
| Skolem + tetration is well-ordered Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
| Local stability of ergodic averages Transactions of the American Mathematical Society | 2010-02-02 | Paper |
| Proof mining in topological dynamics Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
| General logical metatheorems for functional analysis Transactions of the American Mathematical Society | 2008-02-15 | Paper |
| Computer Science Logic Lecture Notes in Computer Science | 2007-06-21 | Paper |
| Strongly uniform bounds from semi-constructive proofs Annals of Pure and Applied Logic | 2006-08-16 | Paper |
| A quantitative version of Kirk's fixed point theorem for asymptotic contractions Journal of Mathematical Analysis and Applications | 2006-03-29 | Paper |
| The role of quantifier alternations in cut elimination Notre Dame Journal of Formal Logic | 2005-09-28 | Paper |
| Extracting Herbrand disjunctions by functional interpretation Archive for Mathematical Logic | 2005-08-17 | Paper |
Research outcomes over time
This page was built for person: Philipp Gerhardy
