Definable predicates of standardness in internal set theory

DOI10.1007/BF02674323MaRDI QIDQ1582807zbMATH OpenFDO

Authors P. V. Andreev

Publication date 26 July 2001

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

internal set theorystandardness predicatenonstandard set theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4085645
• Undecidable hypotheses in Edward Nelson's internal set theory
• Relatively standard elements in Nelson's internal set theory
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
• On the extension principle in the theory of internal sets

Cites work

• scientific article; zbMATH DE number 3829901 (Why is no real title available?)
• scientific article; zbMATH DE number 1024382 (Why is no real title available?)
• scientific article; zbMATH DE number 194693 (Why is no real title available?)
• scientific article; zbMATH DE number 4121012 (Why is no real title available?)
• A general theory of superinfinitesimals
• Internal approach to external sets and universes. I: Bounded set theory
• Internal set theory: A new approach to nonstandard analysis
• Relatively standard elements in Nelson's internal set theory
• Standard foundations for nonstandard analysis
• Superinfinitesimals in Topology and Functional Analysis
• The standardization principle in the theory of bounded sets

Cited in

(4)

• Definability with a predicate for a semi-linear set
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
• scientific article; zbMATH DE number 4114629 (Why is no real title available?)
• Extended use of IST

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582807)