Some extensions of the principles of idealization transfer and choice in the relative internal set theory

DOI10.1007/BF01469384zbMath0831.03029MaRDI QIDQ1902341

Yves Péraire

Publication date: 20 February 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Relative Internal Set Theorygeneral principle of choice

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models (03H99)

Related Items (2)

Proximities and topologies ⋮ Divergent Fourier analysis using degrees of observability

Cites Work

• Infinitesimal approach of almost-automorphic functions
• The syntax of nonstandard analysis
• Extended use of IST
• Relative theory of internal sets

This page was built for publication: Some extensions of the principles of idealization transfer and choice in the relative internal set theory