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

comprehension schemeshyperintegersinduction schemesnonstandard analysissaturation schemessecond order arithmetic

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)

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