Ordinal Analysis and the Infinite Ramsey Theorem

DOI10.1007/978-3-642-30870-3_1zbMath1357.03087OpenAlexW2143608087MaRDI QIDQ2904387

Bahareh Afshari, Michael Rathjen

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_1

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION, Ackermannian Goodstein sequences of intermediate growth