Inconsistent number systems

DOI10.1305/NDJFL/1093637770MaRDI QIDQ1102264zbMATH OpenOpenAlexFDO

Authors Chris Mortensen

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637770

zbMATH Keywords

inconsistencyfinite structuresrelevant logicinconsistent theoriesarithmeticalinconsistent number- theoretic structures

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 6127006
• scientific article; zbMATH DE number 16710
• scientific article; zbMATH DE number 1285979
• Inconsistent nonstandard arithmetic
• scientific article; zbMATH DE number 782632

Cited in

(15)

• scientific article; zbMATH DE number 6287641 (Why is no real title available?)
• On elimination of quantifiers in some non-classical mathematical theories
• scientific article; zbMATH DE number 1874096 (Why is no real title available?)
• The scope of Gödel's first incompleteness theorem
• scientific article; zbMATH DE number 4125377 (Why is no real title available?)
• scientific article; zbMATH DE number 3904563 (Why is no real title available?)
• scientific article; zbMATH DE number 910435 (Why is no real title available?)
• Number systems based on logical calculus
• Inconsistent nonstandard arithmetic
• scientific article; zbMATH DE number 3928989 (Why is no real title available?)
• Inconsistent models of arithmetic. II: The general case
• Arithmetic starred
• Concerning three classes of non-Diophantine arithmetics
• Inconsistent models for relevant arithmetics
• On LP-models of arithmetic

This page was built for publication: Inconsistent number systems

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