Realism, nonstandard set theory, and large cardinals (Q5940142)

It is well know that the present day Robinson-Zakon styled superstructure approach to nonstandard analysis does not capture many aspects of set theory. There continue to be attempts at axiomatizing ``nonstandard analysis'' in order to reproduce what some have called a nonstandard set theory. The author continues such investigations into this problem by presenting yet another axiomatization which is developed from a presupposed intuitive belief that nonstandard objects exist as fundamental entities. He considers unary predicates \(S\) and \(I\) that intuitively are used to generate the class of ``standard'' and ``internal'' entities, respectively. His universe of sets satisfies ZFC except for Foundation and, hence, allows the construction of the usual von Neumann cumulative hierarchy. The author first relates the notion of ``internal'' within the Robinson-Zakon theory, to this cumulative hierarchy and proceeds to discuss exhaustively the original set of axioms as well as additional ones and their relations to the nonstandard entities and processes used in practice.