On the strength of nonstandard analysis

DOI10.2307/2274061zbMath0624.03051OpenAlexW4237814959MaRDI QIDQ3762318

H. Jerome Keisler, C. Ward Henson

Publication date: 1986

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

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

zbMATH Keywords

ZFCnonstandard analysisZermelo-Fraenkel set theorynonstandard arithmeticcomprehension schemesecond order arithmetichigher order arithmeticssaturation axiomsstrength of a mathematical theory

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Nonstandard models in mathematics (03H05)

Related Items

Applications of Nonstandard Analysis in Additive Number Theory ⋮ On the extension principle in internal set theory ⋮ Internal approach to external sets and universes. I: Bounded set theory ⋮ The Mathematical Intelligencer flunks the Olympics ⋮ Internal approach to external sets and universes. II: External universes over the universe of bounded set theory ⋮ Nonstandard methods in combinatorics and theoretical computer science ⋮ The strength of countable saturation ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ Periodic words connected with the tribonacci-Lucas numbers ⋮ On the converse law of large numbers ⋮ Stable biased sampling ⋮ A theory of hyperfinite sets ⋮ Hyperfinite Law of Large Numbers ⋮ A non-standard analysis of a cultural icon: the case of Paul Halmos ⋮ A functional interpretation for nonstandard arithmetic ⋮ Nonstandard Arithmetic and Reverse Mathematics ⋮ Non-cooperative games on hyperfinite Loeb spaces ⋮ A theory of hyperfinite processes: The complete removal of individual uncertainty via exact LLN

This page was built for publication: On the strength of nonstandard analysis