Definable predicates of standardness in internal set theory

DOI10.1007/BF02674323zbMath0965.03062MaRDI QIDQ1582807

P. V. Andreev

Publication date: 26 July 2001

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

nonstandard set theoryinternal set theorystandardness predicate

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05)

Cites Work

• Relatively standard elements in Nelson's internal set theory
• The standardization principle in the theory of bounded sets
• Internal approach to external sets and universes. I: Bounded set theory
• A general theory of superinfinitesimals
• Superinfinitesimals in Topology and Functional Analysis
• Standard foundations for nonstandard analysis
• Internal set theory: A new approach to nonstandard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definable predicates of standardness in internal set theory