Philipp Gerhardy
From MaRDI portal
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
