Consistency, models, and soundness

DOI10.1007/S10516-010-9110-3MaRDI QIDQ551223zbMATH OpenOpenAlexFDO

Authors 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

\(\Pi^0_1\)-sentencecompactness theoremcompleteness theoremconsistency statementcreation by definitionfinitist point of viewgame formalismmetamathematicsrelative/direct/approximative consistency proofsoundnesstransfinite induction

Mathematics Subject Classification ID

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

Recommendations

• Model theory and validity
• scientific article; zbMATH DE number 176123
• scientific article; zbMATH DE number 2243624
• Models, semantics and logical truth
• Inconsistencies in SURE models: Computational aspects

Cites work

• A note on the number of zeros of polynomials and exponential polynomials
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• Extensions of the Finitist Point of View
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Frege on Consistency and Conceptual Analysis
• Frege's new science
• scientific article; zbMATH DE number 3767619 (Why is no real title available?)
• scientific article; zbMATH DE number 3788579 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 107632 (Why is no real title available?)
• scientific article; zbMATH DE number 193520 (Why is no real title available?)
• scientific article; zbMATH DE number 3531332 (Why is no real title available?)
• scientific article; zbMATH DE number 1254487 (Why is no real title available?)
• scientific article; zbMATH DE number 1254488 (Why is no real title available?)
• scientific article; zbMATH DE number 1300630 (Why is no real title available?)
• scientific article; zbMATH DE number 1335690 (Why is no real title available?)
• scientific article; zbMATH DE number 1344508 (Why is no real title available?)
• scientific article; zbMATH DE number 1093824 (Why is no real title available?)
• scientific article; zbMATH DE number 1150556 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1550350 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 5054077 (Why is no real title available?)
• scientific article; zbMATH DE number 3251353 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3294529 (Why is no real title available?)
• scientific article; zbMATH DE number 3019893 (Why is no real title available?)
• scientific article; zbMATH DE number 3088027 (Why is no real title available?)
• Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
• On a consistent subsystem of Frege's Grundgesetze
• On axiomatizability within a system
• On the consistency of the first-order portion of Frege's logical system
• On the philosophical significance of consistency proofs
• Partial realizations of Hilbert's program
• Realism bei Frege. Reply to T. Burge: Frege on knowing the third realm
• The consistency of arithmetics
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• Frege's philosophy of geometry
• Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
• scientific article; zbMATH DE number 1786561 (Why is no real title available?)
• Hilary Putnam's consistency objection against Wittgenstein's conventionalism in mathematics
• Strange case of Dr. soundness and Mr. consistency

This page was built for publication: Consistency, models, and soundness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q551223)