17 results
Bounds for a nonlinear ergodic theorem for Banach spaces
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 5 / May 2023
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1570-1593
- Print publication:
- May 2023
-
- Article
- Export citation
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 991-1012
- Print publication:
- September 2018
-
- Article
- Export citation
Arithmetizing proofs in analysis
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-158
-
- Chapter
- Export citation
Term extraction and Ramsey's theorem for pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-895
- Print publication:
- September 2012
-
- Article
- Export citation
17 - Gödel's Functional Interpretation and Its Use in Current Mathematics
-
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp 361-398
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp i-vi
-
- Chapter
- Export citation
Logic Colloquium 2007
-
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010
Introduction
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp ix-x
-
- Chapter
- Export citation
Speakers and Titles
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp xi-xiv
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp vii-viii
-
- Chapter
- Export citation
On Tao's “finitary” infinite pigeonhole principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-371
- Print publication:
- March 2010
-
- Article
- Export citation
Higher order reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 281-295
-
- Chapter
- Export citation
Foundational and mathematical uses of higher types
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 92-116
-
- Chapter
- Export citation
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 356-357
- Print publication:
- September 2000
-
- Article
- Export citation
On the No-Counterexample Interpretation
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1511
- Print publication:
- December 1999
-
- Article
- Export citation
Relative constructivity
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1218-1238
- Print publication:
- December 1998
-
- Article
- Export citation
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1273
- Print publication:
- December 1992
-
- Article
- Export citation