Extensions of the Finitist Point of View

DOI10.1080/01445340210154295zbMath1031.03003OpenAlexW1975682191WikidataQ58515375 ScholiaQ58515375MaRDI QIDQ4706119

Karl-Georg Niebergall, Matthias Schirn

Publication date: 28 October 2003

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340210154295

zbMATH Keywords

Hilbertfinitist point of viewBernaysfinitist metamathematicsrestricted \(\omega\)-rule

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items

Consistency, models, and soundness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fragments of arithmetic
• On interpreting Gödel's second theorem
• Die Grundlegung der elementaren Zahlenlehre
• Zur Widerspruchsfreiheit der Zahlentheorie
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Hilbert's program and the omega-rule
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• The consistency of arithmetics