2008/09/28 by Raymond Cavalcante, Cavalcante, Raymond
Mathematics · #03C10 #03C20 #03C50 #03H05 #12L10 #26A03 #26A06 #26E35 #30G06 #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Logic (math.LO) #math.CA #math.LO #msc:03C10 #msc:03C20 #msc:03C50 #msc:03H05 #msc:12L10 #msc:26A03 #msc:26A06 #msc:26E35 #msc:30G06
paper · pdf · doi:10.48550/arxiv.0809.4814
under the supervision of Todor D. Todorov; 61 pages;
arxiv created 2008/10/10 · arxiv updated 2009/12/01
We construct the non-standard complex (and real) numbers using the ultrapower method in the spirit of Cauchy's construction of the real numbers. We show that the non-standard complex numbers are a non-archimedean, algebraically closed field, and that the non-standard real numbers are a totally ordered, real-closed, non-archimedean field. We explore the various types of non-standard numbers, and develop the non-standard completeness results (Saturation Principle, Supremum Completeness of Bounded Internal Sets, etc) for \starr. We give non-standard characterizations for such usual topological objects as open, closed, bounded, and compact sets in terms of monads. We also consider such traditional topics of real analysis as limits, continuity, uniform continuity, convergence, uniform convergence, etc. in a non-standard setting. In both topology and real analysis we reduce (and in some cases eliminate) the number of quantifiers in the non-standard setting.