The strength of nonstandard methods in arithmetic

DOI10.2307/2274260MaRDI QIDQ3714082zbMATH OpenOpenAlexFDO

Authors C. Ward Henson, Matt Kaufmann, H. Jerome Keisler

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274260

zbMATH Keywords

nonstandard analysissecond order arithmeticinduction schemeshyperintegerscomprehension schemessaturation schemes

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Recommendations

• Introduction of nonstandard methods for number theorists
• A note on non-classical nonstandard arithmetic
• scientific article; zbMATH DE number 5016910
• On the strength of nonstandard analysis
• An axiomatic presentation of the nonstandard methods in mathematics
• On certain questions of nonstandard arithmetic
• Adding standardness to nonstandard arithmetic
• An Effective Conservation Result for Nonstandard Arithmetic
• Nonstandard Methods and Finiteness Conditions in Algebra

Cites work

• Internal set theory: A new approach to nonstandard analysis
• Nonstandard Set Theory

Cited in

(16)

• Nonstandard Arithmetic and Reverse Mathematics
• scientific article; zbMATH DE number 2115892 (Why is no real title available?)
• Hyperfinite models of adapted probability logic
• scientific article; zbMATH DE number 1874095 (Why is no real title available?)
• The Mathematical Intelligencer flunks the Olympics
• Applications of Nonstandard Models and Lebesgue Measure to Sequences of Natural Numbers
• Sequences in countable nonstandard models of the natural numbers
• Some nonstandard methods in combinatorial number theory
• scientific article; zbMATH DE number 4108762 (Why is no real title available?)
• Formalization, syntax and the standard model of arithmetic
• Nonstandard methods in combinatorics and theoretical computer science
• On some uses of nonstandard models
• An axiomatic presentation of the nonstandard methods in mathematics
• A theory of hyperfinite sets
• The strength of countable saturation
• Adding standardness to nonstandard arithmetic

This page was built for publication: The strength of nonstandard methods in arithmetic

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