8 results
2 - Algorithmic randomness in ergodic theory
-
-
- Book:
- Algorithmic Randomness
- Published online:
- 07 May 2020
- Print publication:
- 07 May 2020, pp 40-57
-
- Chapter
- Export citation
RELATIVELY EXCHANGEABLE STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 416-442
- Print publication:
- June 2018
-
- Article
- Export citation
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 525-526
- Print publication:
- December 2016
-
- Article
- Export citation
Antonio Montalbán, Indecomposable linear orderings and hyperarithmetic analysis. Journal of Mathematical Logic, vol. 6 (2006), no. 1, pp. 89–120. - Itay Neeman, The strength of Jullien’s indecomposability theorem. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp. 93–119. - Itay Neeman, Necessary use ofinduction in a reversal. Journal of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561–574.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 366-368
- Print publication:
- September 2014
-
- Article
- Export citation
Partial impredicativity in reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-488
- Print publication:
- June 2013
-
- Article
- Export citation
Hindman's theorem: an ultrafilter argument in second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-360
- Print publication:
- March 2011
-
- Article
- Export citation
Functional interpretation and inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1100-1120
- Print publication:
- December 2009
-
- Article
- Export citation
Convergence of diagonal ergodic averages
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 29 / Issue 4 / August 2009
- Published online by Cambridge University Press:
- 01 August 2009, pp. 1309-1326
- Print publication:
- August 2009
-
- Article
- Export citation