Adding standardness to nonstandard arithmetic

MaRDI QIDQ5222082zbMATH OpenFDO

Authors Roman Kossak, Tin Lok Wong, Richard Kaye

Publication date 30 March 2020

zbMATH Keywords

Peano arithmeticnonstandard modelsstandard systems\(\omega\)-logicstandard cut

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)

• Interpretations between \(\omega\)-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?)
• Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning

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)