Inconsistent nonstandard arithmetic

DOI10.2307/2274397MaRDI QIDQ3765776zbMATH OpenOpenAlexFDO

Authors Chris Mortensen

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274397

zbMATH Keywords

Extendability Lemmainconsistent arithmetical structuresinconsistent RM3-theories

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonstandard models of arithmetic (03H15)

Recommendations

• Inconsistent models of arithmetic. II: The general case
• Consistency and decidability in some paraconsistent arithmetics
• Inconsistent models for relevant arithmetics
• scientific article; zbMATH DE number 4125377
• Inconsistent number systems

Cited in

(13)

• Inconsistent number systems
• Formal frameworks for approximate reasoning
• Inconsistent models of arithmetic. II: The general case
• Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
• Disturbing arithmetic
• Inconsistent models for relevant arithmetics
• scientific article; zbMATH DE number 4053609 (Why is no real title available?)
• scientific article; zbMATH DE number 4077395 (Why is no real title available?)
• scientific article; zbMATH DE number 4125377 (Why is no real title available?)
• scientific article; zbMATH DE number 2070199 (Why is no real title available?)
• Arithmetic starred
• Inconsistent Models for Relevant Arithmetics
• Alien intruders in relevant arithmetic

This page was built for publication: Inconsistent nonstandard arithmetic

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