The syntax of nonstandard analysis

DOI10.1016/0168-0072(88)90050-4zbMath0642.03040OpenAlexW2052045432MaRDI QIDQ1101109

Edward Nelson

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90050-4

zbMATH Keywords

nonstandard analysisInternal Set Theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05)

Related Items (21)

On the extension principle in internal set theory ⋮ Some extensions of the principles of idealization transfer and choice in the relative internal set theory ⋮ Internal approach to external sets and universes. I: Bounded set theory ⋮ Properties of classes of \(\alpha\)-standard elements ⋮ Unnamed Item ⋮ EDWARD NELSON (1932–2014) ⋮ The strength of countable saturation ⋮ Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic ⋮ Nonstandard analysis: its creator and place ⋮ A decomposition theorem for neutrices ⋮ Intuitionistic nonstandard bounded modified realisability and functional interpretation ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Foundations of fuzzy sets: A nonstandard approach ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Extended use of IST ⋮ Ultrapowers as sheaves on a category of ultrafilters ⋮ Realism, nonstandard set theory, and large cardinals ⋮ A functional interpretation for nonstandard arithmetic ⋮ Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting ⋮ On flexible sequences ⋮ Nonstandardness and the bounded functional interpretation

Cites Work

• Unnamed Item
• A self-avoiding random walk
• Internal set theory: A new approach to nonstandard analysis
• Metamathematical problems
• Non-standard analysis

This page was built for publication: The syntax of nonstandard analysis