Ordinal Analysis with an Introduction to Proof Theory

DOI10.1007/978-981-15-6459-8OpenAlexW3048693164MaRDI QIDQ5119482

Toshiyasu Arai

Publication date: 4 September 2020

Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-15-6459-8

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03Fxx)

Related Items (5)

A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Ackermann and Goodstein go functorial ⋮ GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION ⋮ FINITIST AXIOMATIC TRUTH

This page was built for publication: Ordinal Analysis with an Introduction to Proof Theory