Takeuti's well-ordering proof: finitistically fine?
From MaRDI portal
Publication:1711783
DOI10.1007/978-3-319-90983-7_11zbMath1404.03006OpenAlexW2782311752MaRDI QIDQ1711783
Eamon Darnell, Aaron Thomas-Bolduc
Publication date: 18 January 2019
Full work available at URL: http://philsci-archive.pitt.edu/15160/1/Takeuti.pdf
History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
This page was built for publication: Takeuti's well-ordering proof: finitistically fine?
