Consistency, models, and soundness

DOI10.1007/s10516-010-9110-3zbMath1230.03034MaRDI 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

metamathematics; completeness theorem; soundness; transfinite induction; compactness theorem; consistency statement; \(\Pi^0_1\)-sentence; creation by definition; finitist point of view; game formalism; relative/direct/approximative consistency proof

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03F30: First-order arithmetic and fragments

03-03: History of mathematical logic and foundations

Cites Work

• 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
• 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