Consistency, models, and soundness

DOI10.1007/s10516-010-9110-3zbMath1230.03034OpenAlexW2100983392MaRDI QIDQ551223

Matthias Schirn

Publication date: 14 July 2011

Published in: Axiomathes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10516-010-9110-3

zbMATH Keywords

metamathematicscompleteness theoremsoundnesstransfinite inductioncompactness theoremconsistency statement\(\Pi^0_1\)-sentencecreation by definitionfinitist point of viewgame formalismrelative/direct/approximative consistency proof

Mathematics Subject Classification ID

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

Related Items

Frege's philosophy of geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the consistency of the first-order portion of Frege's logical system
• On the philosophical significance of consistency proofs
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Realism bei Frege. Reply to T. Burge: Frege on knowing the third realm
• Frege's new science
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Partial realizations of Hilbert's program
• A note on the number of zeros of polynomials and exponential polynomials
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Extensions of the Finitist Point of View
• Frege on Consistency and Conceptual Analysis
• On axiomatizability within a system
• The consistency of arithmetics
• On a consistent subsystem of Frege's Grundgesetze