Adding standardness to nonstandard arithmetic

MaRDI QIDQ5222082zbMATH OpenFDO

Authors Roman Kossak, Tin Lok Wong, Richard Kaye

Publication date 30 March 2020

zbMATH Keywords

\(\omega\)-logicnonstandard modelsPeano arithmeticstandard cutstandard systems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• The strength of nonstandard methods in arithmetic
• The arithmetic of cuts in models of arithmetic
• An Effective Conservation Result for Nonstandard Arithmetic
• Constructivizable and non-constructivizable formal arithmetic structures
• scientific article; zbMATH DE number 4053609

Cited in

(5)

• Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
• Interpretations between -logic and second-order arithmetic
• A note on standard systems and ultrafilters
• The strength of nonstandard methods in arithmetic
• scientific article; zbMATH DE number 4077395 (Why is no real title available?)

This page was built for publication: Adding standardness to nonstandard arithmetic

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