Axioms of Choice and its Axiomatic Impact on ...

Axioms of Choice and its Axiomatic Impact on Non-Standard Set Theory

Author Name : Amrendra Kumar

ABSTRACT

Axiomatic formulation of first-order sentences of axiomatic set theory. Approximate version of first- order sentences have been described for the general case of a locally compact algebra of finite signature. it has similar structure sentences in the theory of Banach space studied by S. Heinrich and C.W. Hensea. We construct approximate versions of higher order statements about R which is interact between continuous mathematics and its finite computer approximations. D. Ballard and K. Harbacek described ZFC of the construction of pseudo-superstructures given in a non well founded context. Zermelo-Fraenkel-Boffa set theory ZFBC, a variant of Zermelo-fraenkel set theory, where a well-ordering of the universe is available and a strong anti-foundation principle, such as Boffa's super universality. ZFBC foundations of nonstandard methods by D. Ballard and K. Hrbacek. The binary structures are considered instead of transitive classes, and a "simulation" of the powerset operators are used to construct a von Neumann hierarchy over an ultrapower of the universe. We deal with "nonstandard" membership relations over proper classes. Let us denote by L* ={∈, *} the language of *ZFC. We reformulate nonstandard versions of ZFC model.