``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

DOI10.1007/978-981-16-4173-2_10OpenAlexW4207066605MaRDI QIDQ2097064

Mariko Yasugi

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-981-16-4173-2_10

zbMATH Keywords

universe of mechanismsaccessibility proof of order structureconsistency proof through reduction methodsmodulus of finiteness functionalthe finitist standpoint

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ordinal diagrams
• Groundedness property and accessibility of ordinal diagrams
• Proof theory. 2nd ed
• The machinery of consistency proofs
• An accessibility proof of ordinal diagrams
• Consistency proofs of subsystems of classical analysis
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• On the weak definability in set theory
• Some properties of ordinal diagrams
• Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory
• The consistency of arithmetics

This page was built for publication: ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment