Studia Logica 55 (2):347 - 376 (1995)
|Abstract||A problem which enthusiasts ofIST, Nelson's internal set theory, usually face is how to treat external sets in the internal universe which does not contain them directly. To solve this problem, we considerBST,bounded set theory, a modification ofIST which is, briefly, a theory for the family of thoseIST sets which are members of standard sets.We show thatBST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop the most advanced applications of nonstandard methods. In particular, we define inBST an enlargement of theBST universe which satisfies the axioms ofHST, an external theory close to a theory introduced by Hrbaek.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Timothy Williamson (2006). Can Cognition Be Factorized Into Internal and External Components? In Robert J. Stainton (ed.), Contemporary Debates in Cognitive Science. Malden MA: Blackwell Publishing.
Vladimir Kanovei (1996). On External Scott Algebras in Nonstandard Models of Peano Arithmetic. Journal of Symbolic Logic 61 (2):586-607.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
V. Kanovei (1995). Uniqueness, Collection, and External Collapse of Cardinals in Ist and Models of Peano Arithmetic. Journal of Symbolic Logic 60 (1):318-324.
Luis M. Miller (2010). Why a Trade-Off? The Relationship Between the External and Internal Validity of Experiments. Theoria 25 (3):301-321.
Siegfried Gottwald (2006). Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. Studia Logica 84 (1):23 - 50.
Arnold W. Miller (1990). Set Theoretic Properties of Loeb Measure. Journal of Symbolic Logic 55 (3):1022-1036.
Siegfried Gottwald (2006). Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. [REVIEW] Studia Logica 82 (2):211 - 244.
Vladimir Kanovei & Michael Reeken (1998). Elementary Extensions of External Classes in a Nonstandard Universe. Studia Logica 60 (2):253-273.
Vladimir Kanovei & Michael Reeken (1996). Internal Approach to External Sets and Universes. Studia Logica 56 (3):293 - 322.
Added to index2009-01-28
Total downloads5 ( #169,941 of 722,783 )
Recent downloads (6 months)0
How can I increase my downloads?