On certain questions of nonstandard arithmetic

zbMATH Open0849.03057MaRDI QIDQ1920116FDOQ1920116

Authors: E. G. Nikiforova 

Publication date: 25 August 1996

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

Recommendations

• A note on non-classical nonstandard arithmetic
• scientific article; zbMATH DE number 1531213
• scientific article; zbMATH DE number 3167874
• Nonstandard arithmetic of Hilbert subsets
• Some arithmetic properties on nonstandard number fields
• scientific article; zbMATH DE number 1347880
• Publication:4724634
• On Unsettleable Arithmetical Problems
• scientific article; zbMATH DE number 596344

zbMATH Keywords

consistencysecond-order arithmeticsaturated modelmantissacomprehension schememany-sorted languagenonstandard integertwo-sorted arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Cited In (2)

• The strength of nonstandard methods in arithmetic
• On two questions about feasibly constructive arithmetic

This page was built for publication: On certain questions of nonstandard arithmetic

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