scientific article; zbMATH DE number 2070199

MaRDI QIDQ4463935zbMATH OpenFDO

Authors Graham Priest

Publication date 8 June 2004

zbMATH Keywords

finite arithmeticsinconsistent models of arithmeticparaconsistencyproof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1163361
• Inconsistent Models for Relevant Arithmetics
• Inconsistent models for relevant arithmetics
• Paradoxes and Inconsistent Mathematics
• Inconsistent nonstandard arithmetic
• scientific article; zbMATH DE number 782632
• Inconsistency in mathematics and the mathematics of inconsistency
• The consistency of arithmetics

Cited in

(14)

• Inconsistency in mathematics and the mathematics of inconsistency
• Inconsistent models of arithmetic. II: The general case
• -inconsistency without cuts and nonstandard models
• Some Comments and Replies
• scientific article; zbMATH DE number 4059394 (Why is no real title available?)
• scientific article; zbMATH DE number 1336300 (Why is no real title available?)
• scientific article; zbMATH DE number 1163361 (Why is no real title available?)
• scientific article; zbMATH DE number 1874096 (Why is no real title available?)
• scientific article; zbMATH DE number 910435 (Why is no real title available?)
• Arithmetic starred
• Inconsistent Models for Relevant Arithmetics
• Consistency and decidability in some paraconsistent arithmetics
• "A Smack of Irrelevance" in Inconsistent Mathematics?
• Do the integers exist? The unknowability of arithmetic consistency

This page was built for publication:

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