On certain questions of nonstandard arithmetic

MaRDI QIDQ1920116zbMATH OpenFDO

Authors E. G. Nikiforova

Publication date 25 August 1996

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

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

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)