Ordinal Analysis with an Introduction to Proof Theory

DOI10.1007/978-981-15-6459-8MaRDI QIDQ5119482zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• An Introduction to Proof Theory
• Proof theory. The first step into impredicativity
• Proofs and computations
• Mathematical proof theory in the light of ordinal analysis
• Proof theory. An introduction

Cited in

(15)

• Analyzing Nash-Williams' partition theorem by means of ordinal types
• Ackermann and Goodstein go functorial
• Proof theory and ordinal analysis
• Notes on models of (partial) Kripke-Feferman truth
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• scientific article; zbMATH DE number 1870412 (Why is no real title available?)
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
• An Introduction to Proof Theory
• A note on fragments of uniform reflection in second order arithmetic
• Hilbert’s Programme and Ordinal Analysis
• FINITIST AXIOMATIC TRUTH
• Is the HYPE about strength warranted?
• On separating wholeness axioms
• Very large set axioms over constructive set theories
• Games with backtracking options corresponding to the ordinal analysis of \textit{PA}

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119482)