Nominalistic ordinals, recursion on higher types, and finitism
type: Item
instance of: scholarly article
title: NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
zbMATH Open document ID: 1441.03005
author: Maria Hämeen-Anttila
published in: The Bulletin of Symbolic Logic
publication date: 2019-04-30T00:00:00Z
full work available at URL: http://hdl.handle.net/10138/304868
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 7049060
zbMATH Keywords: Gerhard Gentzen
zbMATH Keywords: Paul Bernays
zbMATH Keywords: finitism
zbMATH Keywords: constructive ordinals
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2912599454
cites work: Decoding Gentzen's Notation
cites work: Q5760326
cites work: Q5839929
cites work: The first example of a recursive function which is not primitive recursive
cites work: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
cites work: The consistency of arithmetics
cites work: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
cites work: On notation for ordinal numbers
cites work: On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
cites work: The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
cites work: Q5430147
cites work: Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought
cites work: Q5805955
cites work: Q5610986
cites work: Gödel on intuition and on Hilbert's finitism
cites work: Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
Wikidata QID: Q128491180
DOI: 10.1017/BSL.2018.91
Recommended article: Hilbert’s Programme and Ordinal Analysis
Recommended article: Takeuti's well-ordering proof: finitistically fine?
Recommended article: Takeuti's well-ordering proof: an accessible reconstruction
Recommended article: Q4793041
Recommended article: Proof theory and ordinal analysis
description: scientific article; zbMATH DE number 7049060