NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

DOI10.1017/bsl.2018.91zbMath1441.03005OpenAlexW2912599454WikidataQ128491180 ScholiaQ128491180MaRDI QIDQ4632541

Maria Hämeen-Anttila

Publication date: 30 April 2019

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/304868

zbMATH Keywords

finitismconstructive ordinalsGerhard GentzenPaul Bernays

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• The first example of a recursive function which is not primitive recursive
• Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Decoding Gentzen's Notation
• On notation for ordinal numbers
• The consistency of arithmetics

This page was built for publication: NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM