The syntax of nonstandard analysis
From MaRDI portal
Publication:1101109
DOI10.1016/0168-0072(88)90050-4zbMath0642.03040OpenAlexW2052045432MaRDI QIDQ1101109
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
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
This page was built for publication: The syntax of nonstandard analysis
