Adding standardness to nonstandard arithmetic

zbMATH Open1432.03136MaRDI QIDQ5222082FDOQ5222082

Authors: Roman Kossak, Tin Lok Wong, Richard Kaye 

Publication date: 30 March 2020

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)