Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Kusraev, Semen Kutateladze (1994)
Nonstandard Methods of Analysis
(2000)
andWolff, M.,Nonstandard Aalysis for the Working Mathematician.Kluwer Academic Publishers, Dordrecht
(1967)
Foundations of Constructive Analysis (McGraw-Hill
M. Dickmann (2000)
Review: H. Garth Dales, W. Hugh Woodin, Super-Real Fields. Totally Ordered Fields with Additional StructureBulletin of Symbolic Logic, 6
Erik Palmgren (1998)
Developments in Constructive Nonstandard AnalysisBulletin of Symbolic Logic, 4
P. Martin-Löf (1988)
Mathematics of infinity
(2006)
Spring Central Sectional Meeting Notre Dame,IN, April 8-9,2006 Meeting #1016 The solution of one very old problem in transcendental numbers theory. Preliminary report
(2001)
Algebraic Independence Theory. Series: Lecture Notes in Mathematics,Vol.1752
(1995)
A model for intuitionistic nonstandard arithmetic
Generalized Pontryagian's duality theorem
H. Gonshor (1985)
Remarks on the Dedekind completion of a nonstandard model of the realsPacific Journal of Mathematics, 118
D. Heath-Brown (1984)
Diophantine approximation with square-free numbersMathematische Zeitschrift, 187
(1991)
Models of Smooth In nitesimal Analysis Springer
M. Laczkovich (1999)
Conjecture and Proof
S. Albeverio (1986)
Nonstandard Methods in Stochastic Analysis and Mathematical Physics
E. Patterson (1965)
The Jacobson radical of a pseudo-ringMathematische Zeitschrift, 89
C. Sandifer (2007)
How Euler Did It
J. Cooper, W. Luxemburg (1971)
Applications of model theory to algebra, analysis, and probabilityAmerican Mathematical Monthly, 78
S. Simpson (1999)
Subsystems of second order arithmetic
(1982)
Diophantine Approximations and Transcendental Numbers", Moscov, Univ.Press,1982 (in Russian)
Martin Davis (1977)
Applied Nonstandard Analysis
H. Gonshor (1971)
The Ring of Finite Elements in a Non-Standard Model of the RealsJournal of The London Mathematical Society-second Series
(2001)
Functions polylogarithmes, nombres polyzëta et groupes prounipotents
Peter Laubenheimer, T. Schick, U. Stuhler (2006)
Completions of countable non-standard models of QarXiv: Logic
F. Wattenberg (1980)
[0,∞]-valued, translation invariant measures onNand the Dedekind completion of∗RPacific Journal of Mathematics, 90
(2006)
The Solution of one Very Old Problem in Transcendental Numbers Theory
(2009)
Non-archimedean analysis on the extended hyperreal line $^*R_d$ and the solution of some very old transcendence conjectures over the field $Q$
M. Waldschmidt (2002)
Algebraic values of analytic functionsJournal of Computational and Applied Mathematics, 160
(2001)
of the series Synthese Library
(1984)
Topoi 2ed
Nonstandard analysis and structural theorems of a general nonlocallycompact Hausdorf Abelian group
Edward Nelson (1977)
Internal set theory: A new approach to nonstandard analysisBulletin of the American Mathematical Society, 83
(1979)
Irrationalité de ζ(2) et ζ(3)
Lluiotas Bibiloni, Pelegrí Viader, Jaume Paradiotas (2004)
On a Series of Goldbach and EulerThe American Mathematical Monthly, 113
K. Hrbacek (1978)
Axiomatic foundations for Nonstandard AnalysisFundamenta Mathematicae, 98
Renling Jin (2001)
The sumset phenomenon, 130
(2001)
Introduction to algebraic independence theory
(2005)
A definition of topological invariants for wild knots and links by using non standard internal S
T. Metsänkylä (2003)
Catalan’s Conjecture: Another old Diophantine problem solvedBulletin of the American Mathematical Society, 41
Erik Palmgren (1997)
A Sheaf-Theoretic Foundation for Nonstandard AnalysisAnn. Pure Appl. Log., 85
Erik Palmgren (2001)
Unifying Constructive and Nonstandard Analysis
R. Goldblatt (1998)
Lectures on the hyperreals
L. Arkeryd, N. Cutland, C. Henson (1997)
Nonstandard analysis : theory and applications
In 1980 F. Wattenberg constructed the Dedekind completion of the Robinson non-archimedean field and established basic algebraic properties of [6]. In 1985 H. Gonshor established further fundamental properties of [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion in transcendental number theory were considered. Given an class of analytic functions of one complex variable f z, we investigate the arithmetic nature of the values of fz at transcendental points e , n . Main results are: (i) the both numbers e and e are irrational, (ii) number e is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained.Non conservative extensions of the canonical nonstandard analysis also is considered. Keywords Non-archimedean analysis,Robinson transfer, Robinson non-archimedian field,Dedekind completion, Dedekind hyperreals,Wattenberg embeding,Gonshor idempotent theory,Gonshor transfer,Infinitary Intuitionistic logic. MSC classes: 00A05, 03H05, 54J05 03B10, Part 1. 1.Introduction. 1.1. In 1873 French mathematician, Charles Hermite, proved that e is transcendental. Coming as it did 100 years after Euler had established the significance of e, this meant that the issue of transcendence was one mathematicians could not afford to ignore.Within 10 years of Hermite’s breakthrough,his techniques had been extended by Lindemann and used to add to the list of known transcendental numbers. Mathematician then tried to prove that other numbers such as e and e are transcendental too,but these questions were too difficult and so no further examples emerged till today’s time. The transcendence of e has been proved in1929 by A.O.Gel’fond. Conjecture 1. Whether the both numbers e and e are irrational. Conjecture 2. Whether the numbers e and are algebraically independent. However, the same question with e and has been answered: Theorem.(Nesterenko,1996 [1]) The numbers e and are algebraically independent. Throughout of 20-th century,a typical question: whether f is a transcendental number for each algebraic number has been investigated and answered many authors.Modern result in the case of entire functions satisfying a linear differential equation provides the strongest results, related with Siegel’s E-functions [1],[2].Reference [1] contains references to the subject before 1998, including Siegel E and G functions. Theorem.(Siegel C.L.) Suppose that , 1,2, . . . , 0. 1. 1 z . n0 1 2 n Then is a transcendental number for each algebraic number 0. Let f be an analytic function of one complex variable f z. Conjecture 3.Whether f is an irrational number for given transcendental number . Conjecture 4.Whether f is a transcendental number for given transcendental number . Definition 1.1. Let g x : be any real analytic function such that: (i) g x a x , |x| r,na , 1. 2 n n n0 and where (ii) the sequence a is primitive recursive (constructive). We will call any function given by Eq.(1.2) constructive -analytic function and denoted such function by g x. Definition 1.2.[3],[4]. A transcendental number z is called #-transcendental number over field , if there does not exist constructive -analytic function g x such that g z 0, i.e. for every constructive -analytic function g x the inequality g z 0 is satisfied. Definition 1.3.[3],[4].A transcendental number z is called w-transcendental number over field ,if z is not #-transcendental number over field ,i.e.there exists an constructive -analytic function g x such that g z 0. Notation 1.1.We will call for a short any constructive -analytic function g x simply -analytic function. Example 1.1. Number is transcendental but number is not #-transcendental number over field as (1) function sin x is a -analytic and (2) sin 1, i.e. 2n1 2n1 1. 3 3 5 7 1 . . . . . . 0. 3 5 7 2n1 2 3! 2 5! 2 7! 2 2n 1 ! 2n1 2n1 Note that the sequence a , n 0, 1, 2. . . . . obviously is primitive 2n1 2 2n 1! recursive. Example 1.2. Let 1. For each n 0 choose an rational number inductively 0 n such that n1 n1 k n k 1 e n! e 1 e . k n k k1 k1 The rational number exists because the rational numbers are dense. Now the power series f x 1 e has the radius of convergence and f e 0. However any n1 sequence obviously is not recursive. Main results are. Theorem 1.3.[3],[4],[20].Number e is #-transcendental over . From theorem 1.1 immediately follows. Theorem 1.4.[20].Number e is transcendental. Theorem 1.5.[3],[4],[20]. The both numbers e and e are irrational. Theorem 1.6.[20]For any number e is #-transcendental over the field . Theorem 1.7.[3],[4],[20]. The both numbers e and e are irrational. Theorem 1.8.[4],[20] Let f z, l 1, 2, . . . be a polynomials with coefficients in . Assume that for any l algebraic numbers over the field : , . . . , , 1,l k ,l k 1, l 1, 2, . . . form a complete set of the roots of f z such that l l f z z, deg f z k , 1. 4 l l l and a , l 1, 2, . . . ; a 0, where the sequence a is primitive recursive. l 0 l Assume that k,l a |a | |e | . 1. 5 0 l l1 k1 Then k,l a a e 0. 1. 6 0 l l1 k1 Remark 1.1. Note that Theorem 1.3-1.8 can be proven using a theory RCA S . Here (i) RCA is the subsystem of second-order arithmetic whose 0 0 axioms are the axioms of Robinson arithmetic, induction for Σ formulas, and comprehension for Δ formulas and (ii) S a minimal ω-model of RCA where S consists of the all recursive subsets of ω [15]. In this case one can use constructive Moerdijk’s approach instead nonconstructive ultrapower construction acepted in this paper; see also [18]-[20]. Remark 1.2.The subsystem RCA is the one most commonly used as a base system for reverse mathematics. The initials "RCA" stand for "recursive comprehension axiom", where "recursive" means "computable", as in recursive function.This name is used because RCA corresponds informally to "computable mathematics". In particular, any set of natural numbers that can be proven to exist in RCA is computable, and thus any theorem which implies that noncomputable sets exist is not provable in RCA . To this extent, RCA is a constructive system. Remark 1.3. As is well known, elementary nonarchimedean extensions of the real number structure can be obtained in essentially two different ways, both nonconstructive: one is to use an ultrapower construction [5], the other is to use the compactness theorem. As is known from topos theory the category of sheaves over a generalised topological space is a universe of variable sets a Grothendieck topos which obeys the laws of intuitionistic logic rather than classical logic We briefly review Moerdijk’s sheaf model construction from [9]-[10].To motivate the construction recall Los’s fundamental theorem for ultrapowers which states that for any ultrafilter U on a set I any -structure M and any -formula x , . . . , x , 1 n M /U , . . . , i I|M i, . . . , i 1. 7 1 n 1 n That the filter is an ultrafilter i.e. maximal among proper filters on I is crucial for proving the equivalence when involves the logical constants and Moerdijk gave a constructive analogue of Los’s fundamental theorem, by changing the notion of model to a sheaf model over a category of filters The idea of shifting to a nonstandard semantics occurs also in Martin Löf [11]. A filter base F, F consists of a nonvoid index set I and a family F of i i iI iI subsets of an underlying set F called base sets satisfying the filtering condition for all i, j I there exists k I such that F F F . The filter generated is then k i j S F : i IF S For constructive reasons it will be better to work only withthe bases of filters. So in the sequel we shall abuse the language and simply call them filters. Let F,F and G,G be filters. A continuous map from to i i iI iI in symbols : is a partial function : F G which is totally defined on some base set of and satisfies the continuity condition j J i I F G Two i j such morphisms are equivalent if they agree on some base set of . The filters together with the continuous maps then form a category B with terminal object and all pullbacks see [9] and [12]. For each set A there is a trivial filter A AA. In this way the category of sets can be considered as a full subcategory of B. Note that the set of morphisms from to A, Hom F, A can be identified with the reduced power A / As for any category the hom-sets give a contravariant functor op A Hom , A : B Sets. 1. 8 We now define a Grothendieck topology K on B so that A becomes a sheaf Let G , G , k 1, . . . , n and F,F be filters. A finite set of continuous k i jJ iI k 1 n maps : is called a K-cover of if for all j J , . . . , j J there k 1 n k1 exists i I for which 1 n G . . . G F 1. 9 1 n i j j 1 n In case : g is a cover, we say that is a covering map which is the same as an epimorphism in B. The category of sheaves over the topology B, K denoted N for nonstandard universe U is a universe containing both standard and nonstandard objects. With this topology each presheaf of the form A becomes a sheaf. This sheaf is the nonstandard version of A. The sheaf of locally constant functions A is a subsheaf of A denoted by A which constitute the standard elements of A. In particular each constant element a x a A is standard. For each relation R A A define a subsheaf 1 n R of A A by 1 n , . . . , R i Iu F , . . . , R, 1. 10 1 n i 1 n where F,F . We assume now that is a first order language including iI symbols for all sets relations functions and constants of interest to us here this can be made precise using universes of sets. denotes the language where all symbols have been decorated with . For any formula we define its transform to be the formula where all symbols have been replaced by their starred counterparts. A formula which is a transform of an formula is called internal. The language can be regarded as a sublanguage of the language N of the topos N. We now use ordinary sheaf semantics to interpret N . Corresponding to the fundamental theorem for ultrapowers we have the following: Theorem (Moerdijk) Let x , . . . , x be an formula where x , . . . , x vary 1 n 1 n over S , . . . , S respectively Then for S , . . . , S : 1 n 1 1 n n , . . . , iff i Iu F , . . . , . 1. 11 1 n i 1 n We list the main principles valid for the model N but refer to [12-13]. Theorem. (Transfer principle). For any formula : is true iff holds in N . Theorem. (Idealization). The following is true in N for any -formula : If for any standard n and any sequence a , . . . , a S there exists z T such that x, a , z for 0 n k k 0, . . . , n, then there is some z T such that for all S : x, y, z. Theorem. (Underspill). The following holds in N for any -formula : If x, n for all in finite n then there is some standard n with x, n. In paper [14] the -saturation principle was established, see [14] Theorem 3.1. Thereby all the main principles of nonstandard analysis are available to us Note however that the transfer principle is weaker than the usual since the interpretation of the logical constants is nonstandard in N. As a consequence the standard part map does not take its customary form (see [14] section 4). Moreover induction and dependent choice is valid in N for the set of standard natural numbers ; see [12]. This means that the results of constructive analysis [16-17] can be reused within the model. To prove results in constructive analysis one need to use the transfer principle For some examples of this, see [14] Section 5. 1.2. Preliminaries.Short outline of Dedekind tipe hyperreals Let be the set of real numbers and a nonstandard model of [5].Of course is not Dedekind complete.For example, 0 x | x 0 and are bounded subsets of which have no suprema or infima in .Possible completion of the field can be constructed by Dedekind sections [6],[7]. In [6] Wattenberg constructed the Dedekind completion of a nonstandard model of the real numbers and applied the construction to obtain certain kinds of special measures on the set of integers. Thus was established that the Dedekind completion of the field is a structure of interest not for its own sake only and we establish further important applications here. Important concept introduced by Gonshor [7] is that of the absorption number of an element a which, roughly speaking, measures the degree to which the cancellation law a b a c b c fails for a. We remind that there exist natural imbedding j : , 1. 2. 1 see for example [5].We will be denoted the image of this imbedding j by . st Definition 1.2.1. Let n \ and m \ relatively prime hypernaturals, i.e. the only positive integer that divides both of them is 1, and let , 0, We will say that hyperrational number n/m is -near-standard iff there exists 0, 0 such that n n st , 1. 2. 2 m m where and . d d We will be denoted a set of the all -near-standard hyperrational numbers by . n.st Definition 1.2.2.Let be a set such that st x x y st n.st y y zz x y z 1. 2. 3 st y y zz x y z . n.st Note that is a subring of . st Definition 1.2.3. Let N \ and let j be morphism j : such that N N st x x st j x N x. 1. 2. 4 We will be denoted the image j of this morphism by , N N st st Note that , N is a submodule of . st 2.1 The Dedekind hyperreals and . d st.d Definition 2.1.Let be a nonstandard model of and P the power set of . (i) A Dedekind hyperreal , is an ordered pair U, V P P that satisfies the next conditions: 1. x yx U y V. 2. U V . 3.xx U yy V x y. 4. x x V y y V x y . 5. xy x y x U y V . (ii) A Dedekind hyperreal , is an ordered pair st.d U , V P P that satisfies the next conditions: st st 1. x yx U y V . 2. U V . 3.xx U yy V x y. 4. xx V yy V x y. 5. xyx y x U y V . (iii) A Dedekind hyperreal , N, is an ordered pair st.d ,N ,N U , V P , N P , N that satisfies the next conditions: st st ,N ,N ,N ,N ,N ,N 1. x yx U y V . 2. U V . 3.xx U yy V x y. ,N ,N ,N ,N 4. xx V yy V x y. 5. xyx y x U y V . Compare the Definition 2.1 with original Wattenberg definition [6],(see [6] def.II.1). Designation 2.1. (i) Let U, V . We have designate in this paper U cut , V cut 2. 1. 1 cut , cut . (ii) Let U , V . We have designate in this paper st.d U cut ,, V cut , 2. 1. 2 cut ,, cut ,. ,N ,N (iii) Let U , V , N. We have designate in this paper st.d ,N ,N U cut ,, N, V cut ,, N 2. 1. 3 cut , N, cut , N Designation 2.2. (i) Let . We have designate in this paper cut , cut 2. 1. 4 , . (ii) Let . We have designate in this paper st.d cut , , cut , 2. 1. 5 , . (iii) Let , N. We have designate in this paper st.d ,N cut , N , cut , N ,N 2. 1. 6 ,N , . ,N Remark 2.1. (i) The monad of is the set: x | x is denoted by . Supremum of 0 in is denoted by . Supremum of is denoted by . Note d d d that [6] , 0 0, , n. (ii) The monad of is the set: x | x is denoted by or st st ,. Supremum of 0 in is denoted by or . Note that st.d d , 0 0, d st (iii) Let A be a subset of bounded above. Then supA exists in [6]. (iv) Let A be a subset of bounded above. Then supA exists in . st st.d (v) Let A be a subset of , N bounded above. Then supA exists in , N. st st.d Example 2.1. (i) sup , (ii) sup 0 . \ \ d d d d Remark 2.2. Note that the set inherits some but by no means all of the algebraic structure on . For example: (i) is not a group with respect to addition since if x y denotes the addition in then: 0 . Thus is not even a ring but pseudo-ring only. d d d d d d d d (ii) is not a group with respect to addition since if x y denotes the st.d st.d addition in then: 0 . Thus is not st.d d d d d st.d st.d st.d st.d even a ring but pseudo-ring only. Definition 2.2 We define: 1.(a)The additive identity in (zero cut in ) 0 , often denoted by 0 or simply 0 is 0 x | x 0 . 1.(b) The additive identity in (zero cut in ) 0 , often denoted by 0 st.d st st.d or simply 0 is 0 x | x 0 . st st st.d 1.(с) The additive identity in , N (zero cut in , N) 0 , often denoted st st.d st.d by 0 or simply 0 is 0 x , N| x 0 . ,N st ,N st.d st 2.(a) The multiplicative identity in : 1 , often denoted by 1 or simply 1 is 1 x | x 1 . 2.(b) The multiplicative identity in : 1 , often denoted by 1 or simply 1 st.d st.d is 1 x | x 1 . st st st st.d ,N 2.(c) The multiplicative identity in , : 1 , often denoted by 1 or simply st.d ,N st.d ,N is 1 x , N| x 1 . st ,N st st st.d 3.(a) Given two Dedekind hyperreal numbers and we define: d d Addition of and often denoted by is x y| x , y . It is easy to see that 0 for all . d d It is easy to see that is again a cut in and . d d d Another fundamental property of cut addition is associativity: d d d d This follows from the corresponding property of . 3.(b) Given two Dedekind hyperreal numbers and we define: st.d st.d Addition of and often denoted by is st.d x y| x , y . It is easy to see that 0 for all . st.d st.d st.d It is easy to see that is again a cut in and . st st.d st.d st.d Another fundamental property of cut addition is associativity: st.d st.d st.d st.d This follows from the corresponding property of . st 3.(c) Given two Dedekind hyperreal numbers , N and , N we st.d st.d define: Addition of and often denoted by is ,N ,N st.d x y| x , y . ,N It is easy to see that 0 for all , N . ,N ,N st.d st.d st.d It is easy to see that is again a cut in , N and ,N st st.d ,N ,N st.d st.d Another fundamental property of cut addition is associativity: ,N ,N ,N ,N st.d st.d st.d st.d This follows from the corresponding property of , N. st 4.(a) The opposite of , often denoted by or simply by , is x | x ,x is not the least element of \ . 4.(b) The opposite of , often denoted by or simply by , is st.d x | x ,x is not the least element of \ . st st ,N 4.(c) The opposite of , often denoted by or simply by , is ,N ,N st.d x , N| x ,x is not the least element of \ . ,N st st 5.(a)We say that the cut is positive if 0 i.e., 0 , or negative if # # d d 0 i.e., 0 . The absolute value of , denoted ||, is || , if 0 # # d d d d and || , if 0 . d d d 5.(b)We say that the cut , is positive if 0 i.e., 0 , or negative # # st.d st.d if 0 i.e., 0 . The absolute value of , denoted || , or || is # # st.d st.d st.d || , if 0 and || , if 0 . st.d st.d st.d st.d st.d st.d st.d 5.(c)We say that the cut ,, N is positive if 0 i.e., 0 , or ,N ,N # # ,N ,N st.d st.d negative if 0 i.e., 0 . The absolute value of , denoted ,N ,N # # st.d st.d ,N ,N || , or || is || , if 0 and ,N ,N ,N ,N ,N st.d st.d st.d st.d || , if 0 . ,N ,N ,N ,N st.d st.d st.d st.d 6.(a) If , 0 then multiplication of and often denoted is z | z x y for some x , y with x, y 0 . In general, 0 if 0 or 0, if 0, 0 or 0, 0, | | | | if 0, 0, or 0, 0. | | | | 7.(a) The cut order enjoys on the standard additional properties of: (i) transitivity: . d d d (ii) trichotomy: eizer , or but only one of the three d d d (iii) translation: . d d d d 7.(b) The cut order enjoys on the standard additional properties of: st.d (i) transitivity: . st.d st.d st.d (ii) trichotomy: eizer , or but only one of the st.d st.d st.d three (iii) translation: . st.d st.d st.d 7.(c) The cut order enjoys on , N the standard additional properties of: st.d (i) transitivity: . ,N ,N ,N st.d st.d st.d (ii) trichotomy: eizer , or but only one of the ,N ,N ,N st.d st.d st.d three (iii) translation: . ,N ,N ,N st.d st.d st.d 2.2 The Wattenberg embeding into . The Wattenberg embeding into . st st.d Definition 2.3.[6]. Wattenberg hyperreal or #-hyperreal is a nonepty subset such that: (i) For every a and b a, b . (ii) , . (iii) has no greatest element. Definition 2.4.[6].In paper [6] Wattenberg embed into by following way: if the corresponding element, , of is x x 2. 1 Remark 2.3.[6]. In paper [6] Wattenberg pointed out that condition (iii) above is included # # only to avoid nonuniqueness. Without it would be represented by both and Remark 2.4.[7]. However in paper [7] H. Gonshor pointed out that the definition (2.1) in Wattenberg paper [6] is technically incorrect. Note that Wattenberg [6] defines in general by a a . 2. 2 If i.e. \ has no mininum, then there is no any problem with definitions (2.1) d d # # and (2.2). However if a for some a , i.e. x x a then according to the latter definition (2.2) x x a 2. 3 whereas the definition of requires that: x x a , 2. 4 but this is a contradiction. Remark 2.5.Note that in the usual treatment of Dedekind cuts for the ordinary real numbers both of the latter sets are regarded as equivalent so that no serious problem arises [7]. Remark 2.6.H.Gonshor [7] defines by x bb a b a , 2. 5 Definition 2.5. (Wattenberg embeding) We embed into of the following way: d # if , the corresponding element of is x |x 2. 6 and a a . 2. 7 or in the equivalent way,i.e. if the corresponding element of is # d x |x 2. 8 Thus if then A|B where A x |x , B y |y . 2. 9 Such embeding into Such embeding we will name Wattenberg embeding and to designate by . Definition 2.5 .(i) We embed into of the following way: (i) if st st.d st the corresponding element of is st.d x x 2. 6. a st st and a a . 2. 7. a st (ii) We embed , n, n \ into , n of the following way: if , n, st st.d st the corresponding element of is st.d x , n x 2. 6. b st ,n st and a , n a . 2. 7. b st Lemma 2.1.(I) [6]. (i) Addition is commutative and associative in . (ii) : 0 . d d d # # (iii) , : . Proof. [6]. (i) is clear from definitions, (ii) 0 is clear from definitions. d d Now, suppose a . Since has no greatest element b a, i.e. b , therefore a b 0 and a a b b 0 . d d d # # (iii) is clear since x , y implies x y . Now, suppose x , then x x , . 2 2 Therefore x x # # x . 2 2 This completes the proof. Lemma 2.1.(II) (i) Addition is commutative and associative in . st.d st.d (ii) : 0 . st.d st.d st.d # # (iii) , : . st st.d st Proof.Similarly as above. (i) is clear from definitions, (ii) 0 is clear from definitions. st.d st.d Now, suppose a . Since has no greatest element b a, i.e. b , therefore st a b 0 and a a b b 0 . st st st st st.d st.d st.d # # (iii) is clear since x , y implies st st st st.d x y . st st st Now, suppose x , then st st x x st st st st , . st st st st 2 2 Therefore st st st st st st st # # st st st.d This completes the proof. Lemma 2.1.(III) (i) Addition is commutative and associative in , n . ,n st.d st.d (ii) , n : 0 . st.d ,n ,n st.d st.d # # ,n ,n ,n (iii) , , n : st ,n ,n st.d st Proof.Similarly as above. (i) is clear from definitions, (ii) 0 is clear from definitions. ,n ,n st.d st.d Now, suppose a . Since has no greatest element b a, i.e. b , ,n st therefore a b 0 and a a b b 0 . ,n ,n ,n ,n ,n ,n ,n st st st st st.d st.d st.d ,n # # ,n ,n (iii) is clear since x , y implies ,n ,n ,n ,n st st st st.d x y . ,n ,n ,n st st st Now, suppose x , then ,n ,n st st ,n ,n st st ,n ,n st st ,n ,n st st ,n ,n st st Therefore st,n st,n ,n ,n ,n st st st ,n ,n st st # # ,n ,n ,n ,n st st st.d This completes the proof. Remark 2.7. Notice, here again something is lost going from to since a does not imply since 0 but 0 . d d d d d Lemma 2.2.(I)[6]. (i) a linear ordering on often denoted , which extends the usual ordering on (ii) . d d d d d (iii) . d d d d d (iv) is dense in . That is if in there is an a then d d a . d d (v) Suppose that A is bounded above then sup A sup cut exist in . (vi) Suppose that A is bounded below then inf A inf cut exist in . Proof.Note that (i), (ii), (iv), (v) are clear. (iii) , imply a, a , b, b d d # # # # s.t. a a and b b . Therefore d d d d d d # # # # a b a b d d d d d d d d d d completing the proof . Lemma 2.2.(II) (i) a linear ordering on often denoted , which extends the usual st.d st.d ordering on . st (ii) . st st st st.d st (iii) . st.d st.d st.d st.d st (iv) is dense in . That is if in there is an a st st.d st.d st st.d then a . st.d st.d (v) Suppose that A is bounded above then sup A sup cut , st.d exist in . st.d (vi) Suppose that A is bounded below then inf A inf cut , st.d exist in . st.d Proof.Similarly as above. Note that (i), (ii), (iv), (v) are clear. (iii) , imply a, a , b, b st st.d st.d # # s.t. a a and st.d st.d # # b b . Therefore st.d st.d st.d # # # # a b a b st.d st.d st.d st.d st.d st.d st.d completing the proof . st.d st.d st.d Lemma 2.2.(III) (i) a linear ordering on , n often denoted , which extends the usual ,n st.d st.d ordering on , n. st (ii) . ,n ,n ,n ,n st.d st st st ,n st (iii) . ,n ,n ,n ,n ,n st st st st st (iv) , n is dense in , n. That is if in there is an st st.d st.d st.d a , n then a . st ,n ,n st.d st.d (v) Suppose that A , n is bounded above then sup A st.d sup cut ,, n exist in , n. st.d (vi) Suppose that A , n is bounded below then inf A inf cut , n st.d exist in , n . st.d Proof.Similarly as above. Note that (i), (ii), (iv), (v) are clear. (iii) , imply a, a , b, b , n ,n ,n st st.d st.d # # ,n ,n s.t. a a and ,n ,n st.d st.d # # ,n ,n b b . Therefore ,n ,n ,n st.d st.d st.d # # # # ,n ,n ,n ,n a b a b ,n ,n ,n ,n ,n st.d st.d st.d st.d st.d ,n ,n st.d st.d completing the proof . ,n ,n st.d st.d st.d Remark 2.8.Note that in general case inf A inf cut . In particular the A A formula for inf A given in [6] on the top of page 229 is not quite correct [7], see Example 2.2. However by Lemma 2.2 (vi) this is no problem. Example 2.2.[7].The formula inf A inf cut says A A inf a dd 0 a d cut A A Let A be the set A a d where d runs through the set of all positive numbers in , then inf A a x|x a. However cut x|x a. Lemma 2.3.(I)[6]. (i) If then . (ii) . d d (iii) . d d d d (iv) . d d d d d d (v) a : a a . d d d d (vi) 0 . d d d d Proof.(i)-(iii) are clear. (iv) Suppose a and b . Then a , a s.t. a a and 1 2 1 d d d d # b b . Thus we have: (1) a , b , (2) a , 1 1 1 1 d d d d d # # # # b , (3) a b a b . Finally one 1 1 1 1 1 d d d d obtains a b , since a b a b , a b . 1 1 1 1 d d d d d (v) By (iv): a a . d d d d d (1) Suppose now c a this means d d (2) c c c a and therefore 1 1 d d (3) c a . (4) Note that: c a (since c a and a c c a imply c a c c c a a but this is a contradiction) 1 1 (5) Thus c a and therefore c a . (6) By similar reasoning one obtain: c a . (7) Note that: a c c a and therefore c a c c c a a . 1 1 d d Lemma 2.3.(II) (i) If then . st st st.d (ii) . st.d st.d (iii) . st.d st.d st.d st.d (iv) . st.d st.d st.d st.d st.d st.d (v) a : a a . st st st.d st.d st.d st.d (vi) 0 . st.d st.d st.d st.d Proof.Immediately from definitions. Lemma 2.3.(III) ,n #,n (i) If , n then . st ,n ,n st.d st (ii) . st.d st.d (iii) . ,n ,n ,n ,n st.d st.d st.d st.d (iv) . ,n ,n ,n ,n ,n ,n st.d st.d st.d st.d st.d st.d ,n #,n (v) a , n : a a . st ,n ,n ,n ,n ,n st st.d st.d st.d st.d (vi) 0 . ,n ,n ,n ,n st.d st.d st.d st.d Proof.Immediately from definitions. # # # Lemma 2.4.(I) (i) a , , , 0 : a a , # # # (ii) a , , , 0 : a a . Proof.(i) For 0 the statement is clear. Suppose now without loss of generality # # # # 0. By Lemma 2.3.(iv): a a . # # c # (1) Suppose c a and therefore a , but this means c 1 (2) c a and therefore (3) a . c c c 1 # (4) Note that: a (since a and a a imply c c 1 c 1 c a a a but this is a contradiction) (5) Thus a and therefore c a . (6) By similar reasoning one obtain: c a . 1 # # (7) Note that: a c c a and therefore c a c c c a a . 1 1 (ii) Immediately follows from (i) by Lemma 2.3. Lemma 2.4.(II) (i) a , , , 0 : st st.d st # # # a a , # # # (ii) a , , , 0 : a a . st st.d st Proof.Immediately from definitions similarly as Lemma 2.4.(I) above. Lemma 2.4.(III) (i) a , , n, , 0 : st st.d st #,n # # #,n a a , (ii) a , n, , n, , n, 0 : st st st.d ,n # # # ,n a a . ,n ,n ,n st.d st.d st.d Proof.Immediately from definitions similarly as Lemma 2.4.(I) above. Definition 2.6.(I) Suppose . The absolute value of written || is defined as follows: if 0 | | if 0 d d d Definition 2.6.(II) Suppose . The absolute value of written || or || st.d st.d is defined as follows: if 0 st.d st.d || st.d if 0 st.d st.d st.d Definition 2.6.(III) Suppose . The absolute value of written || or || st.d st.d is defined as follows: if 0 ,n ,n st.d st.d || ,n st.d if 0 ,n ,n ,n st.d st.d st.d Definition 2.7.(I).Suppose , . The product , is defined as follows: Case (1) , 0 : d d 2. 10 # # a b|0 a 0 b , 0 . d d d d d d Case (2) 0 0 : 0 . d d d d d d Case (3) 0 0 0 0 d d d d d d d d || || iff 0 0 , d d d d d d 2. 11 || || iff 0 0 . d d d d d d d Definition 2.7.(II).Suppose , . The product , is defined st.d st.d as follows: Case (1) 0 , 0 : st.d st.d st.d st.d st.d # # 2. 10. a a b| 0 a 0 b st st.d st.d st.d st.d st.d st.d , 0 . st st st Case (2) 0 0 : 0 . st.d st.d st.d st.d st.d st.d Case (3) 0 0 st.d st.d st.d st.d 0 0 . st.d st.d st.d st.d || || iff 0 0 , st.d st.d st.d st.d st.d st.d 2. 11. a || || iff 0 st.d st.d st.d st.d st.d 0 . st.d st.d Definition 2.7.(III).Suppose n \ and . The -product n , is defined as follows : n n n cut n b|b cut . 2. 11. b Definition 2.7.(IV).Suppose n \ and . The -product st.d n , n, st.d is defined as follows : n n n cut , n b b cut , , 2. 11. c see Designation 2.2.(ii). Definition 2.7.(V).Suppose n \ and , n. The product st.d n , st.d is defined as follows : 1 1 1 n n n cut ,, n ,n 2. 11. d n b b cut ,, n. # # Lemma 2.5.(I)[6]. (i) a, b : a b a b . (ii) Multiplication is associative and commutative: , . 2. 12 d d d d d d (iii) 1 ; 1 , where 1 1 . d d d d d d d (iv) . | | | | | | d d d d d (v) 0 0 0 d d d d d d 2. 13 d d d d d and 0 0 . 2. 13. a d d d d d d d d d (vi) 0 , 0 . 2. 14 d d d d d d d d d # # Proof.(i) First, suppose a 0 , b 0 then clearly a b a b since 0 x a, 0 y b implies x y a b. Now suppose 0 c a b and let a a c/a b a, b b c/a b b, thus # # # # c a b a b , so a b a b . d d d The other cases follow from (iv). (iv) Immediate from Definition 2.7.(I) and Lemma 2.3.(I).(ii). (ii) is immediate from the definition for ,β, 0 and (iv) otherwise. d d (iii) We may assume 0 . Clearly 1 . Now suppose a then d d d d a , a a . Thus a/a 1 so a/a 1 and a a/a a 1 . d d By the definition 1 1 . d d d d d d d (v) 1.Suppose: d , thus d a b c, d d where a , b , c . Note that d a b c a b a c d d d and therefore . d d d d d d 2.Suppose now: d , thus d a b a c d d d where a, a , b , c . Without loss of generality we may assume a a . Hence d a b a c a b a c since 0 a , 0 b. Thus finally one obtains d a b a c a b c , d d i.e. d . d d (vi) Note that 0 and 0 implies d d d d d d # # a, a , b, b s.t. 0 a a and d d d d d # # # 0 b b . Thus β a b and d d d d d d d d d therefore . This completes the proof. d d d # # Lemma 2.5.(II). (i) a, b : a b a b . st st st.d (ii) Multiplication is associative and commutative: st.d , . 2. 12 st.d st.d st.d st.d st.d st.d (iii) 1 ; 1 , where st.d st.d st.d st.d st.d st.d 1 1 . st st.d (iv) || || || ||. st.d st.d (v) 0 0 0 st.d st.d st.d 2. 13 st.d st.d st.d st.d st.d (vi) 0 , 0 st.d st.d st.d st.d st.d st.d 2. 14 st.d st.d st.d Proof.(i) First, suppose a 0 , b 0 then clearly st st st st # # a b a b st st.d st.d since 0 x a, 0 y b implies st st st st st st x y a b. Now suppose 0 c a b and let st st st st st st st a a c/a b a, b b c/a b b, # # thus c a b a b , so st st.d # # a b a b . st st.d st.d The other cases follow from (iv). Lemma 2.6.(I).Suppose and , . Then # # # # 0 0 . 2. 15 d d d d d Proof. We choose now: (1) a such that: a 0 . d d d d # # # # # # (2) Note that a a . d d d d d d d d Then from (2) by Lemma 2.4.I.(ii) one obtains # # # # # (3) a a . Therefore d d d d d d d # # # # # (4) a a . d d d d d d (5) Then from (4) by Lemma 2.5.(v) one obtains # # # # # # (6) a a . d d d d d d d d Then from (6) by Lemma 2.4.(ii) one obtains # # # # # # # (7) a a d d d d d d d d d # # d d Definition 2.8.(I). Suppose , 0 then is d d defined as follows: 1 1 (i) 0 : inf a |0 a , see Designation 2.2. (i), d d d d 1 1 d d (ii) 0 : . d d d Definition 2.8.(II). Suppose , 0 then is d d defined as follows: (i) 0 : inf a |0 a , see Designation 2.2. (ii), d d # 1 1 (ii) 0 : . d d d Lemma 2.7.(I).[6]. 1 # # 1 (i) a : a a . (ii) . 1 1 d d (iii) 0 . d d d d (iv) 0 0 d d d d 1 1 1 d d d d d d 1 1 # # d d (v) a : a 0 a a . d d (vi) 1 . d d d Lemma 2.7.(II). 1 # # 1 (i) a : a a . (ii) . 1 1 d d (iii) 0 . d d d d (iv) 0 0 d d d d 1 1 1 d d d d d d 1 1 # # d d (v) a : a 0 a a . d d (vi) 1 . d d d Lemma 2.8.[6]. Suppose that a , a 0,, , 0, 0. Then # # # a a a . d d d d d Theorem 2.1.(i) Suppose that S is a non-empty subset of which is bounded from above, i.e. supS exists in and suppose that , 0. Then # # sup S sup S. 2. 16. a (ii) Suppose that S is a non-empty subset of which is bounded from above, i.e. supS exist and suppose that: (a) S 0 and (b) , 0. Then # # sup S sup S. 2. 16. b (iii) Suppose that S is a non-empty subset of which is bounded from above, i.e. supS exist and suppose that: (a) S 0 and (b) , 0, , 0. Then # # # # # sup S sup S. 2. 16. c Proof: (i) Let B sup S. Then B is the smallest number in such that, for any x S, x # # # # B. Let T x|x S. Since 0, x B for any x S. Hence T is bounded above by B. Hence T has a supremum C sup T. Now we have to prove that # # # # C B sup S . Since B sup S is an upper bound for Tand C is the smallest upper bound for T, C B. Now we repeat the argument above with the roles of S and T reversed. We know that C is the smallest number in such that, for T d 1 1 # # # any y T, y C . Since 0 it follows that y C for any y T. But T T 1 1 # # S y|y T . Hence C is an upper bound for S. But B is a supremum # # # for S. Hence B C and B C . We have shown that C B and also T T T # # that B C . Thus B C . T T # # (ii) sup S sup S is clear since for any x, y, s such that x , y s, s S implies # # # # # x y s sup S. # # # # # # Now suppose x sup S and therefore x s , s S. Then # # # s x # # and # # # s x # # s s . So # # # # # # s x s x # # # x s supS. 2 2 This completes the proof. (iii) By (ii) one obtains # # # # sup S sup S . By (i) one obtains # # # # # # # sup S sup S sup S . By (ii) one obtains # # # # # # sup S sup S. By (i) one obtains # # # # # # sup S sup S. This completes the proof. 2.3 Absorption numbers in . One of standard ways of defining the completion of involves restricting oneself to subsets, which have the following property x y y x . It is well known 0 x y that in this case we obtain a field. In fact the proof is essentially the same as the one used in the case of ordinary Dedekind cuts in the development of the standard real numbers, , of course, does not have the above property because no infinitesimal works.This suggests the introduction of the concept of absorption part ab. p. of a number for an element of which, roughly speaking, measures how much departs from having the above property [7]. Definition 2.9.[7]. Suppose , then ab. p. d 0|x x d . 2. 17 Example 2.5. (i) : ab. p. 0, (ii) ab. p. , d d (iii) ab. p. , d d (iv) : ab. p. , d d (v) : ab. p. . d d Lemma 2.9.[7]. (i) c ab. p. and 0 d c d ab. p. (ii) c ab. p. and d ab. p. c d ab. p.. Remark 2.9. By Lemma 2.7 ab. p. may be regarded as an element of by adding on all negative elements of to ab. p.. d d Of course if the condition d 0 in the definition of ab. p. is deleted we automatically get all the negative elements to be in ab. p. since x y x . The reason for our definition is that the real interest lies in the non-negative numbers. A technicality occurs if ab. p. 0. We then identify ab. p. with 0. [ab. p. becomes x|x 0 which by our early convention is not in ]. Remark 2.10. By Lemma 2.7(ii), ab. p. is additive idempotent. Lemma 2.10.[7]. (i) ab. p. is the maximum element such that . (ii) ab. p. for 0. (iii) If is positive and idempotent then ab. p. . Lemma 2.11.[7]. Let satsify 0. Then the following are equivalent. In what follows assume a, b 0. (i) is idempotent, (ii) a, b a b , (iii) a 2a , (iv) n a n a , (v) a r a , for all finite r . Theorem 2.2.[7]. ab. p.. Theorem 2.3.[7]. ab. p. ab. p.. Theorem 2.4.[7]. (i) ab. p. . (ii) ab. p. ab. p. . Theorem 2.5.[7].Suppose , , then (i) ab. p. ab. p., (ii) ab. p. maxab. p., ab. p. Theorem 2.6.[7]. Assume 0. If absorbs then absorbs . Theorem 2.7.[7]. Let 0 . Then the following are equivalent (i) is an idempotent, (ii) , (iii) . (iv) Let and be two positive idempotents such that . 1 2 2 1 Then . 2 1 2 2.4 Gonshor types of with given ab. p.. Among elements of such that ab. p. one can distinguish two many different types following [7]. Definition 2.10.[7].Assume 0. (i) has type 1 if xx yx y y , (ii) has type 2 if xx yy x y , i.e. has type 2 iff does not have type 1. (iii) has type 1A if xx yx y y , (iv) has type 2A if xx yy x y . 2.5 Robinson Part p of absorption number d d Theorem 2.8.[6].Suppose , . Then there is a unique d d standard x , called Wattenberg standard part of and denoted by Wst, such that: (i) x , . d d (ii) implies Wst Wst. (iii) The map Wst : is continuous. (iv) Wst Wst Wst. (v) Wst Wst Wst. (vi) Wst Wst. (vii) Wst Wst if , . d d Theorem 2.9.[7]. (i) has type 1 iff has type 1A, (ii) cannot have type 1 and type 1A simultaneously. (iii) Suppose ab. p. 0. Then has type 1 iff has the form a for some a . (iv) Suppose ab. p. , 0. has type 1A iff has the form a for some a . (v) If ab. p. ab. p. then has type 1 iff has type 1. (vi) If ab. p. ab. p. then has type 2 iff either or has type 2. Proof (iii) Let a . Then ab. p. .Since 0, a a (we chose d such that 0 d and write a as a d d ). It is clear that a works to show that has type 1. Conversely, suppose has type 1 and choose a such that: ya y y . Then we claim that: a . By definition of ab. p. certainly a . On the other hand by choice of a, every element of has the form a d with d . Choose d such that d d, then a d a d d d a . Hence a . Therefore a . Examples. (i) has type 1 and therefore has type 1A. Note that also d d has type 2. (ii) Suppose 0, . Then has type 1 and d d therefore has type 1A. (ii) Suppose , ab. p. 0, i.e. has type 1 and therefore d d by Theorem 2.9 has the form a for some unique a , a Wst. Then, we define unique Robinson part p of absorption number by formula p a , 2. 18 p Wst . (ii) Suppose , ab. p. , i.e. has type 1A and therefore by Theorem 2.9 d d has the form a for some unique a , a Wst. Then we define unique Robinson part p of absorption number by formula p a , 2. 19 p Wst . (iii) Suppose , ab. p. , 0 and has type 1A, i.e. has the form a for some a . Then, we define Robinson part p of absorption number by formula p a . 2. 20 (iv) Suppose , ab. p. , 0 and has type 1A, i.e. has the form a for some a . Then, we define Robinson part p of absorption number by formula p a . 2. 21 Remark 2.11. Note that in general case,i.e. if , Robinson part p of d d absorption number is not unique. Remark 2.12. Suppose and , has type 1or type 1A. Then by d d d definitions above one obtain the representation p ab. p.. 2.6 The pseudo-ring of Wattenberg hyperintegers Lemma 2.12. [6].Suppose that . Then the following two conditions on are equivalent: # # (i) sup | , # # (ii) inf | . Definition 2.11.[6].If satisfies the conditions mentioned above is said to be the Wattenberg hyperinteger. The set of all Wattenberg hyperintegers is denoted by . Lemma 2.13. [6]. Suppose , . Then (i) . (ii) . (iii) . The set of all positive Wattenberg hyperintegers is called the Wattenberg hypernaturals and is denoted by . # # Definition 2.12.Suppose that (i) , , (ii) , and (iii) |. If and satisfies these conditions then we say that is divisible by d d and we # # denote this by | . Definition 2.13.Suppose that (i) and (ii) there exists such that d d # # (1) sup | | or # # (2) inf | | . If satisfies the conditions mentioned above is said is divisible by and we denote this by |. Theorem 2.10. (i) Let p , Mp , be a prime hypernaturals such that (i) p Mp. Let be a Wattenberg hypernatural such that (i) p|. Then Mp 1. (ii) has type 1 iff has type 1A, (iii) cannot have type 1 and type 1A simultaneously. (iv) Suppose , ab. p. 0. Then has type 1 iff has the form a for some a , a . (v) Suppose , ab. p. , 0. has type 1A iff has the form d d a for some a , a . (vi) Suppose . If ab. p. ab. p. then has type 1 iff has type 1. (vii) Suppose . If ab. p. ab. p. then has type 2 iff either or has type 2. Proof. (i) Immediately follows from definitions (2.12)-(2.13). (iv) Let a . Then ab. p. .Since 0, a a (we chose d such that 0 d and write a as a d d ). It is clear that a works to show that has type 1. Conversely, suppose has type 1 and choose a such that: ya y y . Then we claim that: a . By definition of ab. p. certainly a . On the other hand by choice of a, every element of has the form a d with d . Choose d such that d d, then a d a d d d a . Hence a . Therefore a . 2.7 The integer part Int. p of Wattenberg hyperreals Definition 2.14. Suppose , 0. Then, we define Int. p by d d formula # # sup | . Obviously there are two possibilities: # # 1. A set | has no greatest element. In this case valid only the Property I: # # since implies a such that a . But then a which implies # # # a 1 contradicting a a 1. # # 2. A set | has a greatest element, . In this case valid the Property II: and obviously 1 1. Definition 2.15. Suppose . Then, we define Int. p by formula d d for 0 Int. p for 0. Note that obviously: Int. p Int. p. 2.8 External sum of the countable infinite series in , , , p . st.d st.d This subsection contains key definitions and properties of sum of countable sequence of Wattenberg tipe hyperreals. Definition 2.16.(I)[4]. Let s be a countable sequence s : . such that n n n1 (i) ns 0 or (ii) ns 0 or n n (iii) s s s ,n n s 0, n n n 1 1 1 n n1 1 n 2 n 1 1 1 2 2 n n s 0, . 2 2 2 n 1 2 Then external sum over of the sequence s (#-sum) n1 #Ext- - s or #-sum of the corresponding countable sequence s : is defined by i ns 0 : #Ext- - s sup s , d n n k nk ii ns 0 : # # 2. 22 #Ext- - s inf s sup | s | , d n n n k k n nk nk iii n n s 0 , 1 1 1 n n n s 0, : 2 2 2 n 1 2 # # # #Ext- - s #Ext- - s #Ext- - s . d d d n n n 1 2 n n 1 1 2 2 # # Abbreviation 2.8.A. We often abbreviate #Ext- s instead #Ext- - s n d n n n Definition 2.16.(II). Let s be a countable sequence s : . such that n n n1 (i) ns 0 or (ii) ns 0 or n n (iii) s s s ,n n s 0, n n n 1 1 1 n 1 2 1 n1 n n 1 1 2 2 n n s 0 , . 2 2 2 n 1 2 Then external sum over of the sequence s (# -sum) st.d n n1 # Ext- - s st.d or # -sum of the corresponding countable sequence s : is defined by n st i ns 0 : # Ext- - s sup s , st.d n n n k nk ii ns 0 : # # # Ext- - s inf s sup | s | , st.d n n n k nk k nk 2. 22. a iii n n s 0, 1 1 1 n n n s 0, : 2 2 2 n 1 2 # # # Ext- - s # Ext- - s st.d st.d n n 1 1 # Ext- - s . st.d n 2 2 # # Abbreviation 2.8.B. We often abbreviate # Ext- s instead # Ext- - s . st.d n n n n Definition 2.16.(III). Let s be a countable sequence s : . such that n n n1 (i) n s 0 or (ii) n s 0 or n n (iii) s s s ,n n s 0, n n n 1 1 1 n 1 2 1 n1 n n 1 1 2 2 n n s 0, . 2 2 2 n 1 2 Then external sum over , n of the sequence s (# -sum) st.d n ,n n1 #,n # Ext- , n- s ,n st.d or # -sum of the corresponding countable sequence s : , n is defined by ,n n st i ns 0 : ,n #,n # Ext- , n- s n sup s , ,n st.d n k nk ii ns 0 : # # # ,n ,n # Ext- , n- s inf s sup s , n | | ,n st.d n n n k nk k nk 2. 22. b iii n n s 0, 1 1 1 n n n s 0, : 2 2 2 n 1 2 #,n # Ext- , n- s # Ext- , n- s ,n st.d n ,n st.d 1 1 1 ,n # Ext- , n - s . ,n st.d 2 2 2 ,n Abbreviation 2.8.C. We often abbreviate # Ext- s instead ,n n n # ,n # Ext- , n- s . ,n st.d n Theorem 2.11.(I).(i) Let s be a countable sequence s : such that n n n1 nn s s and lim s . Then n1 n n n # # sup s . n d (ii) Let s be an countable sequence s : such that nn s s n n n1 n1 n1 and lim s . Then n n # # inf s . n d (iii) Let s be an countable sequence s : such that nn s 0, n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # #Ext- s sup s , 2. 23 n d d n nk (iv) Let s be an countable sequence s : such that nn s 0, n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # #Ext- s inf s , 2. 24 n d d k nk (v) Let s be an countable sequence s : such that (1) n n n1 s s s ,n n s 0,n n s 0, n n n 1 1 1 n 2 2 2 n 1 2 1 2 n1 n n 1 1 2 2 and (2) s , s . Then 1 2 n 1 n 2 1 2 n n 1 1 2 2 # # # # # #Ext- s #Ext- s #Ext- s . 2. 25 n n n 1 2 d d 1 2 n n 1 1 2 2 Proof. (i) Let nn s s and lim s . Then obviously: n1 n n n nn s . Thus there exists M such that (1) 1 k : s . Mk Therefore from (1) by Robinson transfer one obtains (2) 2 ,k : s . Mk Using now Wattenberg embedding from (2) we obtain (3) # # # # 3 ,k : s . Mk From (3) one obtains (4) # # # # 4 : sup s . Mk Note that 0 obviously # # # 5 sup s . n From (4) and (5) one obtains (6) # # # # # 6 0 sup s . Thus (i) immediately from (6) and from definition of the idempotent . Proof.(ii) Immediately from (i) by Lemma 2.3 (v). Proof.(iii) Let s . Then obviously: and lim . Thus m n m m m n1 there exists M such that (1) 1 k : . Mk Therefore from (1) by Robinson transfer one obtains (2) 2 ,k : . Mk Using now Wattenberg embedding from (2) we obtain (3) # # # # 3 ,k : . Mk From (3) one obtains (4) # # # # 4 : sup . Mk From (4) by Definition 2.16 (i) one obtains # # # # 5 : #Ext- s . Note that 0 obviously # # # 6 #Ext- s . From (5)-(6) follows (7) # # # # # 7 0 #Ext- s . Thus Eq.(2.23) immediately from (7) and from definition of the idempotent . Proof.(iv) Immediately from (iii) by Lemma 2.3 (v). Proof.(v) From Definition 2.16.(iii) and Eq.(2.23)-Eq.(2.24) by Theorem 2.7.(iii) one obtain # # # # # #Ext- s #Ext- s #Ext- s 1 d 2 d n n n 1 2 n n 1 1 2 2 # # # # 1 2 1 2 d d d d Theorem 2.11.(II).(i) Let s be a countable sequence s : such that n n n1 nn s s and lim s . Then n1 n n n # # sup s . n d (ii) Let s be an countable sequence s : such that nn s s n n n1 n1 n1 and lim s . Then n n # # inf s . n d (iii) Let s be an countable sequence s : such that nn s 0, n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # # Ext- - s sup s , 2. 23. a st.d n n d st.d n k nk (iv) Let s be an countable sequence s : such that nn s 0, n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # # Ext- - s inf s , 2. 24. a st.d n d st.d n k nk (v) Let s be an countable sequence s : such that (1) n n n1 s s s ,n n s 0,n n s 0, n n n 1 1 1 n 2 2 2 n 1 2 1 2 n1 n n 1 1 2 2 and (2) s , s . Then 1 2 n 1 n 2 1 2 n n 1 1 2 2 # # # Ext- - s # Ext- - s st.d n st.d n 1 1 2. 25. a # # # Ext- - s . st.d n 1 2 d st.d 2 2 Theorem 2.11.(III).(i) Let n \. Let s be a countable sequence s : n n n1 such that nn s s and lim s . Then n1 n n n #,n #,n sup n s n n d (ii) Let s be an countable sequence s : such that n n s s n n n1 n1 n1 and lim s . Then n n #,n #,n inf n s n n d (iii) Let s be an countable sequence s : such that n n s 0 , n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # ,n ,n # Ext- , n- n s sup n ,n st.d n n 2. 23. b n k nk ,n , n, d st.d (iv) Let s be an countable sequence s : such that nn s 0, n n n n1 s and infinite series s absolutely converges to in . Then n n n1 n1 # # ,n ,n # Ext- - n s inf n ,n st.d n n 2. 24. b n nk #,n , n, d st.d (v) Let s be an countable sequence s : such that (1) n n n1 s s s ,n n s 0,n n s 0, n n n 1 1 1 n 2 2 2 n 1 2 1 2 n1 n n 1 1 2 2 and (2) s , s . Then 1 2 n 1 n 2 1 2 n n 1 1 2 2 # # # Ext- - s # Ext- - s st.d st.d n n 1 1 2. 25. b # # # Ext- - s . st.d 1 2 d st.d 2 2 Theorem 2.12.Let a be a countable sequence a : such that na 0 n n n n1 and infinite series a absolutely converges in . Let s #Ext- a be external sum n1 of the corresponding countable sequence a . Let b be a countable sequence n n n1 n1 where b a is any rearrangement of terms of the sequence a . Then external n n mn n1 sum #Ext- b of the corresponding countable sequence b has the same m1 value s as external sum of the countable sequence a , i.e. s . Theorem 2.13.(i) Let a be a countable sequence a : , such that n n d n1 (1) na 0, (2) infinite series a absolutely converges to in and let n n n1 #Ext- a be external sum of the corresponding sequence a . Then for any c n1 the equality is satisfied # # # # c #Ext- a #Ext- c a n n 2. 26 n n # # c c . (ii) Let a be a countable sequence a : , such that (1) na 0, (2) infinite n n n n1 series a absolutely converges to in and let #Ext- a be external sum of n n n1 the corresponding sequence a . Then for any c the equality is satisfied: n1 # # # # c #Ext- a #Ext- c a n n 2. 27 n n # # c c . (iii) Let s be a countable sequence s : such that n n n1 (1) s s s ,n n s 0,n n s 0, n n n 1 1 1 n 2 2 2 n 1 2 1 2 n1 n n 1 1 2 2 1 2 (2) infinite series s absolutely converges to in , n 1 n1 (3) infinite series s absolutely converges to in . n 2 n1 Then the equality is satisfied: # # c #Ext- s # # # # 2. 28 #Ext- c s #Ext- c s n n 1 2 n n 1 1 2 2 # # # # c c . 1 2 d Proof.(i) From Definition 2.16.(i) by Theorem 2.1,Theorem 2.11.(i) and Lemma (2.4) (ii) one obtain # # # # #Ext- c a c #Ext- a n n n n # # # # # c c c . d d (ii) Straightforward from Definition 2.16.(i) and Theorem 2.1,Theorem 2.11.(iii) and Lemma (2.4) (ii) one obtain # # # # #Ext- c a c #Ext- a n n n n # # # # # c c c . d d (iii) By Theorem 2.11.(iv) and Lemma (2.4).(ii) one obtain # # # # # c #Ext- s c 1 2 d # # # # c c . 1 2 d But other side from (i) and (ii) follows # # # # #Ext- c s #Ext- c s n n 1 2 n n 1 1 2 2 # # # # # # c c c c 1 d d # # # # c c . 1 2 d Definition 2.17. Let a be a countable sequence a : , such that infinite n n n1 series a absolutely converges in to . We assume now that: n1 k (i) there exists m 1 such that k m : a , or n1 (ii) there exists m 1 such that k m : a , or n1 (iii) there exists infinite sequence n , i 1, 2, . . . such that (a) i, m : a and infinite series a absolutely converges in to n n i i i1 i1 and (b) there exists infinite sequence n , j 1, 2, . . . such that j, m : a and infinite j n j1 series a absolutely converges in to . j1 Then: (i) external upper sum (#-upper sum) of the corresponding countable sequence a : is defined by #Ext- a inf a , n nk 2. 29 ii #Ext- a inf a , n n i i ik i k (ii) external lower sum (#-lower sum) of the corresponding countable sequence a : is defined by #Ext- a sup a , n n n k nk 2. 30 ii #Ext- a sup a . n j jk Theorem 2.14.Let a be a countable sequence a : , such that infinite n n n1 series a absolutely converges in to . We assume now that: n1 (i) there exists m 1 such that k m : a , or n1 (ii) there exists m 1 such that k m : a , or n1 (iii) there exists infinite sequence n , i 1, 2, . . . such that (a) i, m : a and infinite series a absolutely converges in to n n i i i1 i1 and (b) there exists infinite sequence n , j 1, 2, . . . such that j, m : a and infinite j n j1 series a absolutely converges in to . Then j1 # # #Ext- a inf a , n d d k nk 2. 31 # # #Ext- a sup a . n n d d n k nk and # # #Ext- a inf a , n d d n i ik i k 2. 32 #Ext- a sup a . n d d n j jk Proof. straightforward from definitions and by Theorem 2.11 (i)-(ii). Theorem 2.15. (1) Let a be a countable sequence a : , such that infinite n n n1 series a absolutely converges in to . We assume now that: n1 (i) there exists m 1 such that k m : a , or n1 (ii) there exists m 1 such that k m : a , or n1 (iii) there exists infinite sequence n , i 1, 2, . . . such that (a) i, m : a and infinite series a absolutely converges in to n n i i i1 i1 and (b) there exists infinite sequence n , j 1, 2, . . . such that j, m : a and infinite j n j1 series a absolutely converges in to . j1 Then for any c the equalities are satisfied # # # # # # #Ext- c a c #Ext- a c c , n n d d n n 2. 33 # # # # # # # #Ext- c a c #Ext- c a c c . n n d d n n and # # # # # # #Ext- c a c #Ext- a c c , n n d d i i i i 2. 34 # # # # # # #Ext- c a c #Ext- a c c . d d n n j j j j Proof. Copy the proof of the Theorem 2.13. Theorem 2.16. (1) Let a be a countable sequence a : , such that infinite n n n1 series a absolutely converges in to 0. We assume now that: n1 (i) there exists m 1 such that k m : a 0, or n1 (ii) there exists m 1 such that k m : a 0, or n1 (iii) there exists infinite sequence n , i 1, 2, . . . such that (a) i, m : a 0 and infinite series a absolutely converges in to 0 n n i i i1 i1 and (b) there exists infinite sequence n , j 1, 2, . . . such that j, m : a 0 and infinite j n j1 series a absolutely converges in to 0. j1 Then for any c the equalities are satisfied # # # # # #Ext- c a c #Ext- a c , d d n n n n 2. 35 # # # # # # #Ext- c a c #Ext- c a c . d d n n n n and # # # # # #Ext- c a c #Ext- a c , d d n n i i i i 2. 36 # # # # # #Ext- c a c #Ext- a c . d d n n j j j i Proof. (1) From Eq.(2.31) we obtain #Ext- a , n d 2. 37 #Ext- a . n d From Eq.(2.37) by Theorem 2.1 we obtain directly # # # # # #Ext- c a c #Ext- a c , n n d n n 2. 38 # # # # # # #Ext- c a c #Ext- c a c . n n n n (2) From Eq.(2.32) we obtain #Ext- a , 2. 39 #Ext- a . From Eq.(2.39) by Theorem 2.1 we obtain directly # # # # # #Ext- c a c #Ext- a c , n n d d i i i i 2. 40 # # # # # #Ext- c a c #Ext- a c . n n d d j i j i Remark 2.13. Note that we have proved Eq.(2.35) and Eq.(2.36) without any reference to the Lemma 2.4. Definition 2.18. (i) Let be a countable sequence : , such that n n n1 nn m 0 0 and nn m 1 a 2. 41 n n n Then external countable lower sum (#-lower sum) of the countable sequence : is defined by m1 #Ext- #Ext- n n n n n0 nm 2. 42 #Ext- sup . n n nm nm In particular if a , where n a the external countable lower n n n n1 n1 sum (#-lower sum) of the countable sequence : is defined by n d m1 # # #Ext- #Ext- , n n n n0 nm 2. 43 #Ext- sup . nm nm (ii) Let be a countable sequence : , such that n n d n1 n n m 0 0 and n n m 1 a a 2. 44 n n n n Then external countable upper sum (#-upper sum) of the countable sequence a : is defined by m1 #Ext- #Ext- n n n n n0 nm 2. 45 #Ext- inf . n n nm nm In particular if a , where n a the external countable upper n n n1 n1 sum (#-upper sum) of the countable sequence : is defined by m1 # # #Ext- a #Ext- a , n n n0 nm 2. 46 #Ext- inf a . nm nm Theorem 2.17. (i) Let be a countable sequence : , such that valid n n d n1 the property (2.41). Then for any c the equality is satisfied # # c #Ext- #Ext- c n n n n 2. 47 m1 # # # # c a #Ext- c a . n n n0 nm (ii) Let be an countable sequence : , such that valid the property n n d n1 (2.44). Then for any c the equality is satisfied # # c #Ext- #Ext- c n n n n 2. 48 m1 # # # # c a #Ext- c a . n n n0 nm Proof. Immediately from Definition 2.18 by Theorem 2.1. Definition 2.19. Let z a ib be a countable sequence n n n n1 n1 z a ib : such that infinite series z absolutely converges in to n n n n n1 z, z . Then: (i) external complex sum (complex #-sum), (ii) external upper complex | | sum (upper complex #-sum) and (iii) external lover complex sum (lover complex #-sum) of the corresponding countable sequence z : is defined by # # # #Ext- z #Ext- a i #Ext- b , n n n n n n # # # #Ext- z #Ext- a i #Ext- b n n n 2. 49 n n n # # # #Ext- z #Ext- a i #Ext- b . n n n n n n correspondingly. Note that any properties of this sum immediately follow from the properties of the real external sum. Definition 2.20. (i) We define now Wattenberg complex plane by i d d d with i 1. Thus for any z we obtain z x iy, where x, y , (ii) for any z d d d 2 2 2 2 such that z x iy we define |z| by |z| x y . d d Theorem 2.18. Let z a ib be a countable sequence z a ib : n n n n n n n1 n1 such that infinite series z absolutely converges in to z i and n 1 2 n1 |z| . Then (i) # # # #Ext- z #Ext- a i #Ext- b n n n n n n # # # # i i 1 i 1 d 2 d 1 2 d #Ext- z # # # # #Ext- a i #Ext- b i 1 i n n 1 2 d n n #Ext- z # # # # #Ext- a i #Ext- b i 1 i 1 2 n n d n n (ii) #Ext- z # # # # #Ext- a i #Ext- b i 1 i , 1 2 d n n n n #Ext- z # # # # #Ext- a i #Ext- b i 1 i , n n 1 2 d n n #Ext- z # # # # #Ext- a i #Ext- b i 1 i . n n 1 2 d n n 2.9 Gonshor transfer Definition 2.21.[7]. Let S x| yy Sx y. Note that S satisfies the usual axioms for a closure operator,i.e. if (i) S , S and (ii) S has no maximum, then S . Let f be a continuous strictly increasing function in each variable from a subset of into . Specifically, we want the domain to be the cartesian product A , where A i i i1 x|x a for some a . By Robinson transfer f extends to a function f : i i from the corresponding subset of into which is also strictly increasing in each variable and continuous in the Q topology (i.e. and range over arbitrary positive elements in ).We now extend f to f f : . 2. 50 Definition 2.22.[7]. Let , a , b , then i d i i i f , , . . . , fb , b , . . . , b | a b . 2. 51 1 2 n 1 2 n i i i Theorem 2.20.[7]. If f and g are functions of one variable then f g f g . 2. 52 d d d Theorem 2.21.[7].Let f be a function of two variables. Then for any and a f , a fb, c|b , c a. 2. 53 Theorem 2.22.[7].Let f and g be any two terms obtained by compositions of strictly increasing continuous functions possibly containing parameters in . Then any relation f g or f g valid in extends to , i.e. f g or f g . 2. 54 d d d d n # Remark 2.14. For any function f : we often write for short f instead of f . Theorem 2.23.[7].(1) For any a, b # # # # # # # exp a b exp a exp b , 2. 55 # # # # # exp a exp b a . For any , ,, 0 # # # exp α β exp α exp β, 2. 56 # # exp α exp α. (2) For any a, b # b b # a a . 2. 57 (3) For any ,, ,,, 0 2. 58 (4) For any a # # # ln exp a a , 2. 59 # # # # exp ln a a . Note that we must always beware of the restriction in the domain when it comes to multiplication Theorem 2.24.[7].The map exp maps the set of additive idempotents onto the set of all multiplicative idempotents other than 0. 2.10.The rings and . For the remainder of this paper note that: (i) we use the canonical embeding by formula a a a, a, . . . ; (ii) we use the canonical notation a b, for a infinitely close to b and Stα for the unique standard number infinitely close to a finite nonstandard number α; (iii) the monad of a, the set x x a is denoted, a; fin (iv) the subset of the all finite numbers in is denoted, ; fin (v) the subset of the all finite numbers in is denoted, ; fin (vi) the subset of the all finite numbers in is denoted, ; fin (vii) the subset of the all finite numbers in is denoted, ; Definition 2.23.Standard number a that is a number such that a b, b . The set of all standard numbers is denoted . st Definition 2.24.Let 0. The -monad of 0, the set 0 is denoted, 0 . Definition 2.25.Let a , 0. We will say that a infinitely -close to b iff a b 0. Definition 2.26.Let a , 0. The -monad of a, the set x x a is denoted, a. Definition 2.27.Let a , Sta, 0. We will say that a is -near-standard number iff 0 a Sta . 2. 60 Definition 2.28.The set of the all -near-standard numbers is denoted, . Theorem 2.25.The set as algebraic structure in a natural way is an ordered ring, i.e.,a structure of the form , , , , 0, 1, 2. 61 where is the set of elements of the structure,where (i) (ii) are the binary operations of additions and multiplication, and (iii) is the ordering relation induced from corresponding operations and relation on , and (iv) 0, 1 are distinguished canonical elements of the domain. Proof.Immediately from definitions. Definition 2.29.Let a , m \, n \, Sta, 0. We will say that a is -near-standard hyper rational number iff 0 Sta . Definition 2.30.The set of the all -near-standard hyper rational numbers is denoted, Theorem 2.26.The set as algebraic structure in a natural way is an ordered ring,i.e., a structure of the form , , , , 0, 1, 2. 62 where is the set of elements of the structure, and are the binary operations of additions and multiplication, is the ordering relation induced from corresponding operations and relation on , and 0, 1 are distinguished canonical elements of the domain. Proof.Immediately from definitions. 2.11.The semirings and . d d 2.11.1.The semiring . Definition 2.31. (Wattenberg embeding) We embed into of the following way: (i) If , the corresponding element of is 2. 63 x |x and # # a a . 2. 64 (ii) If ,β we define the sum β by β a b|a , b . 2. 65 fin (iii) If , ,β we define the sum β by fin d d d fin β a b|a , b . 2. 66 (iv) Suppose ,β .Then we define the ordering relations β and β and equivalence relation β by d d β β, β β, 2. 67 β β . d d d fin (v) Suppose , ,β .Then we define the ordering relations d d d fin fin fin β and fin β and equivalence relation d d d d 1 1 d d fin fin β by d d fin β aa bb a b, fin β bb aa a b, 2. 68 fin β fin β bb aa b a. d d fin fin (vi) Suppose , ,β .Then we define the ordering relations d d d fin fin fin β and fin β by d d d d d d fin β aa bb a b, 2. 69 fin β bb aa a b. d fin (vii) If A is bounded above in then we define sup A 2. 70 and inf A . 2. 71 (viii) Suppose ,β . The product β, is defined as follows. # # Case (1) 0 ,β 0 d d 2. 72 # # # # a b|0 a , 0 b 0. d d d d # # Case (2) 0 or β 0 β 0 . 2. 73 # # Case (3) 0 or β 0 d d # # β iff 0 0 , | | | | d d d # # 2. 74 β || || iff 0 0 , d d d d # # β || || iff 0 0 . d d d d d fin (ix) Suppose , ,β The product fin β, is defined as d d d follows. # # Case (1) 0 ,β fin 0 fin β 2. 75 # # # # fin a b|0 a , 0 fin b fin 0. d d d d # # Case (2) 0 or β 0 fin β 0 . 2. 76 # # Case (3) 0 or β fin 0 # # fin β || fin || iff 0 fin 0 , d d d # # fin β || fin || iff 0 0 , 2. 77 fin d d d d # # fin β fin iff 0 0 . | | | | fin d d Such embeding into as required above we will name Wattenberg embeding and is denoted by . Theorem 2.27. is complete ordered semiring. Proof.Immediately from definitions. Remark 2.15.The following element of will be particularly useful for examples, ; 0. 2. 78 Examples.Note,for importent examples, that: ; ; ; , d d d 2. 79 ; ; ; . d d d d d d 2.11.2.The semiring . Definition 2.32. (Wattenberg embeding) We embed into of the following way: (i) if , the corresponding element of is 2. 80 x |x and # # a a . 2. 81 (ii) If ,β we define the sum β by d d β a b|a , b . 2. 82 (iii) If , ,β we define the sum β by d d d β a b|a , b . 2. 83 (iv) Suppose ,β . Then we define the ordering relations β and β by β , 2. 84 β β. (v) Suppose , ,β .Then we define the ordering relations d d d β and β 1 1 d d d d d d by β a a b b a b , 2. 85 β bb aa a b (vi) Suppose , ,β .Then we define the ordering relations d d d β and β 2 2 d d d d d d by β a a b b a b , 2. 86 β bb aa a b fin (vii) If A is bounded above in then we define sup A 2. 87 and inf A . 2. 88 (viii) Suppose ,β . The product β, is defined as follows. # # Case (1) 0 ,β 0 d d 2. 89 # # # # a b|0 a , 0 b , 0 . d d d d # # Case (2) 0 or β 0 β 0 . 2. 90 # # Case (3) 0 or β 0 # # β || || iff 0 0 , d d d d # # β iff 0 0 , | | | | 2. 91 d d d d d # # β || || iff 0 0 . d d d d (ix) Suppose , ,β The product β, is defined as d d d follows. # # Case (1) 0 ,β 0 : d d # # # # a b|0 a , 0 b 2. 92 d d d d 0. # # Case (2) 0 or β 0 : β 0 . 2. 93 # # Case (3) 0 or β 0 : d d # # β || || iff 0 0 , d d d # # β iff 0 0 , 2. 94 | | | | d d d d d # # β || || iff 0 0 . d d d d Such embeding into as required above we will name Wattenberg embeding and is denoted by Theorem 2.27. is complete ordered semiring. Proof.Immediately from definitions. Remark 2.15.The following element of will be particularly useful for examples, ; 0. 2. 95 Examples.Note,for importent examples, that: ; ; ; , d d d 2. 96 ; ; ; . d d d d d d 2.12.Absorption numbers in and in . d d Absorption numbers in Definition 2.33. Suppose , then ab. p. d 0 |x x d . 2. 97 Examples. # # (i) a : ab. p.a 0 , (ii) ab. p. ; ; , d d (iii) ab. p. ; ; , d d (iv) : ab. p. ; ; , d d (v) : ab. p. ; ; . d d Theorem 2.28. (i) c ab. p. and 0 d c d ab. p. d d d (ii) c ab. p. and d ab. p. c d ab. p.. Remark 2.16. By Theorem 2.28 ab. p. may be regarded as an element of by adding on all negative elements of to ab. p.. d d Of course if the condition d 0 in the definition of ab. p. is deleted we automatically get all the negative elements to be in ab. p. since x y x . The reason for our definition is that the real interest lies in the non-negative numbers. A technicality occurs if ab. p. 0 . We then identify ab. p. with 0 . Remark 2.17. By Theorem 2.28 (ii), ab. p. is additive idempotent. Theorem 2.29. (i) ab. p. is the maximum element such that . (ii) ab. p. for 0 . (iii) If is positive and idempotent then ab. p. . Theorem 2.30.Let satsify 0 . Then the following are equivalent. In what follows assume a, b 0 . (i) is idempotent, (ii) a, b a b , (iii) a 2 a , (iv) n a n a , (v) a r a , for all finite r . Theorem 2.31. ab. p.. d d d Theorem 2.32. ab. p. ab. p.. Theorem 2.33. (i) ab. p. . d d d d d d (ii) ab. p. ab. p. . d d d d d d Theorem 2.34.Suppose , , then (i) ab. p. ab. p., (ii) ab. p. maxab. p., ab. p. Theorem 2.35. Assume 0. If absorbs then absorbs . d d Theorem 2.36. Let 0 . Then the following are equivalent (i) is an idempotent, (ii) , d d d d (iii) . d d (iv) Let and be two positive idempotents such that . 1 2 1 Then . 2 1 2 d d Absorption numbers in Definition 2.34. Suppose , then ab. p. d 0 |x x d . 2. 98 Examples. # # (i) a : ab. p.a 0 , (ii) ab. p. ; ; , d d (iii) ab. p. ; ; , d d (iv) : ab. p. ; ; , d d (v) : ab. p. ; ; . d d Theorem 2.37. (i) c ab. p. and 0 d c d ab. p. d d d (ii) c ab. p. and d ab. p. c d ab. p.. Remark 2.18. By Theorem 2.37 ab. p. may be regarded as an element of by adding on all negative elements of to ab. p.. d d Of course if the condition d 0 in the definition of ab. p. is deleted we automatically get all the negative elements to be in ab. p. since x y x . The reason for our definition is that the real interest lies in the non-negative numbers. A technicality occurs if ab. p. 0 . We then identify ab. p. with 0 . Remark 2.19. By Theorem 2.37(ii), ab. p. is additive idempotent. Theorem 2.38. (i) ab. p. is the maximum element such that . (ii) ab. p. for 0 . d d (iii) If is positive and idempotent then ab. p. . Theorem 2.39.Let satsify 0 . Then the following are equivalent. In what follows assume a, b 0 . (i) is idempotent, (ii) a, b a b , (iii) a 2 a , (iv) n a n a , (v) a q a , for all finite q . Theorem 2.40. ab. p.. d d d Theorem 2.41. ab. p. ab. p.. d d Theorem 2.42. (i) ab. p. . d d d d d d (ii) ab. p. ab. p. . d d d d d d Theorem 2.43.Suppose , , then (i) ab. p. ab. p., (ii) ab. p. maxab. p., ab. p. Theorem 2.44. Assume 0. If absorbs then absorbs . Theorem 2.45. Let 0 . Then the following are equivalent (i) is an idempotent, (ii) , d d d d (iii) . d d d (iv) Let and be two positive idempotents such that . 1 2 2 1 Then . 2 1 2 d d 2.13.Gonshor’s types of and with d d given ab. p.. 2.13.1.Gonshor’s types of with given ab. p.. Among elements of such that ab. p. one can distinguish two many different types following Gonshor’s paper [7]. Definition 2.35.Assume 0 . (i) has type 1 if xx yx y y , (ii) has type 2 if xx yy x y , i.e. has type 2 iff does not have type 1. (iii) has type 1A if xx yx y y , Theorem 2.46. (i) has type 1 iff has type 1A, (ii) cannot have type 1 and type 1A simultaneously. (iii) Suppose ab. p. 0 . Then has type 1 iff has the form a for some a (iv) Suppose ab. p. , 0 . has type 1A iff has the form a for some a . d d (v) If ab. p. ab. p. then has type 1 iff has type 1. (vi) If ab. p. ab. p. then has type 2 iff either or has type 2. Proof. (iii) Let a . Then ab. p. .Since 0, a a d d (we chose d such that 0 d and write a as a d d ). d d It is clear that a works to show that has type 1. Conversely, suppose has type 1 and choose a such that: ya y y . Then we claim that: a . d d By definition of ab. p. certainly a . On the other hand by choice d d of a, every element of has the form a d with d . Choose d such that d d, then a d a d d d a . d d d d Hence a . Therefore a . d d d Examples. (i) ; has type 1 and therefore ; has type 1A. Note d d that also ; has type 2. (ii) Suppose 0, . Then ; d d d d has type 1 and therefore ; has type 1A. d d (ii) Suppose , ab. p. ; 0, i.e. has type 1 and therefore d d by Theorem 2.46 has the form a ; for some unique a , a Wst. Then, we define unique Robinson part p of absorption number by formula # # p a , Wst . (iii) Suppose , ab. p. ; , i.e. has type 1A and therefore by d d Theorem 2.46 has the form a ; for some unique a , a Wst. Then we define unique Robinson part p of absorption number by formula # # p a , Wst . (iv) Suppose , ab. p. , 0 and has type 1A, i.e. has the form a for some a . Then, we define Robinson part p of absorption number by formula p a . (v) Suppose , ab. p. , 0 and has type 1A, i.e. has d d the form a for some a . Then, we define Robinson part p of d d absorption number by formula p a . Remark. Note that in general case,i.e. if , Robinson part p of d d absorption number is not unique. Remark. Suppose and , has type 1or type 1A. Then by d d definitions above one obtains the representation p ab. p.. 2.13.2.Gonshor’s types of with given ab. p.. Among elements of such that ab. p. one can distinguish two many different types following Gonshor’s paper [7]. Definition 2.36.Assume 0 . (i) has type 1 if xx yx y y , (ii) has type 2 if xx yy x y , i.e. has type 2 iff does not have type 1. (iii) has type 1A if xx y x y y Theorem 2.47. (i) has type 1 iff has type 1A, (ii) cannot have type 1 and type 1A simultaneously. (iii) Suppose ab. p. 0 . Then has type 1 iff has the form a for some a (iv) Suppose ab. p. , 0 . has type 1A iff has the d d form a for some a . (v) If ab. p. ab. p. then has type 1 iff has type 1. d d (vi) If ab. p. ab. p. then has type 2 iff either or has type 2. Proof. (iii) Let a . Then ab. p. .Since 0, a a d d d (we chose d such that 0 d and write a as a d d ). d d It is clear that a works to show that has type 1. Conversely, suppose has type 1 and choose a such that: ya y y . Then we claim that: a . d d By definition of ab. p. certainly a . On the other hand by choice d d of a, every element of has the form a d with d . Choose d such that d d, then a d a d d d a . d d d d Hence a . Therefore a . d d Examples. (i) ; has type 1 and therefore ; has type 1A. Note d d that also ; has type 2. (ii) Suppose 0, . Then ; d d d d has type 1 and therefore ; has type 1A. 2.14.The Special Kinds of Idempotents in . Let a , a 0. Then a gives rise to two idempotents A , B in a natural way [7]: a a A x | nn x n a, 2. 99 and B x |rr x r a. 2. 100 Remark 2.18. It is immediate that A and B are idempotents.It is also clear that A is a a a the smallest idempotent containing a and B is the largest idempotent not containing a. It follows that B and A are consecutive idempotents.Note that B . a a 1 Theorem 2.48.[7].(i) No idempotent of the form A has an immediate successor. (ii) All consecutive pairs of idempotents have the form B and A for some a , a a a 0. Proof.(i) Let A . Suppose x Δ but x A . Then x n a for all positive a a standard integers n. Let y x a which is defined since is a nonstandard model of . Then y a n for all positive standard integers n so that y A . So A A . a y a Similarly x y n so x A . Hence A Δ. Thus A and Δ are not consecutive. y y a (ii) Let C and D be consecutive idempotents such that C D. Let a D with a C. Then C B A D. Hence C B and D A . a a a a Theorem 2.49.[7].If ab. p. has the form B then has type 1 or 1A. Proof.Incidentally, we already know that in general ab. p. cannot have type 1 and 1A simultaneously. Now a B and therefore bb cc a c b. We now define an ordinary Dedekind cut L for the real numbers , where L is the set of lower b b # # elements, as follows. Let r L iff b r a . It is immediate that 0 L , 1 L , z y L z L . So we have a Dedekind cut. Then L has a b b b b b maximum or L has a minimum. Suppose first that L has a maximum r r . Then b max # # # # # # b r a but for any real s r, b s a α. We now claim that b r a works # # # # to show that α has type 1. In fact, suppose b r a x . Let s r. Sinceb s a , # # # # # # # b s a b r a x. Therefore x s r a . Thus x for every positive real ; i.e. x B . A similar argument shows that has type 1A if L has a minimum. Examples.(i)The result applies to B . It follows from Theorem 2.49 that every 1 d # # # with ab. p. must be either of the form a or a with a , a 0 . d d d (ii)The result applies to B , 0; i.e. B . It follows from Theorem 2.49 that # # every with ab. p. must be either of the form a or a with d d d a , a 0 . 2.15.The Special Kinds of Idempotents in and in 2.15.1.The Special Kinds of Idempotents in . Let a , a 0. Then a gives rise to two idempotents A ; , B ; a a in a natural way : A ; x | nn x n a, 2. 101 and B ; x |rr x r a. 2. 102 Remark 2.19. It is immediate that A ; and B ; are idempotents.It is a a also clear that A ; is the smallest idempotent containing a and B ; is a a the largest idempotent not containing a. It follows that B ; and A ; a a are consecutive idempotents.Note that B ; ; . Theorem 2.50.(i) No idempotent of the form A ; has an immediate successor. (ii) All consecutive pairs of idempotents have the form B ; and A ; a a for some a , a 0. Proof.(i) Let A . Suppose x Δ but x A ; . Then x n a for all a a positive standard integers n. Let y x a which is defined since is a subset of nonstandard model of . Then y a n for all positive standard integers n so that y A ; . So A A ; . Similarly x y n so x A . Hence a y a y A Δ. Thus A ; and Δ are not consecutive. (ii) Let C and D be consecutive idempotents such that C D. Let a D with a C. Then C B ; A ; D. Hence C B ; a a a d d d and D A ; . Theorem 2.51.[7].If ab. p. has the form B ; then has type 1 or 1A. Proof.Incidentally, we already know that in general ab. p. cannot have type 1 and 1A simultaneously. Now a B ; and therefore b b c c a c b . We now define an ordinary Dedekind cut L for the d real numbers , where L is the set of lower elements, as follows. Let r L iff b b b r a . It is immediate that 0 L , 1 L , z y L z L . So we b b b b d d have a Dedekind cut. Then L has a maximum or L has a minimum. Suppose first that L has a maximum r r . Then b r a but for any real s r, b max d d # # b s a α. We now claim that b r a works to show that α has d d d d # # type 1. In fact, suppose b r a x . Let s r. Since b s a d d d d # # # # # , b s a b r a x. Therefore x s r a. Thus x d d for every positive real ; i.e. x B ; . A similar argument shows that has type 1A if L has a minimum. Examples.(i)The result applies to B ; . It follows from Theorem 2.51 that every with ab. p. ; must be either of the form a ; or d d a ; with a , a 0. (ii)The result applies to B ; , 0; i.e. B ; ; . It 1 1 1 1 d follows from Theorem 2.51 that every with ab. p. ; must be either of # # the form a ; or a ; with a , a 0. d d 2.15.2.The Special Kinds of Idempotents in Let a , a 0 . Then a gives rise to two idempotents A ; , B ; in a natural way a a A ; x | nn x n a, 2. 103 and B ; x |rr x r a. 2. 104 Remark 2.20. It is immediate that A ; and B ; are idempotents.It a a is also clear that A ; is the smallest idempotent containing a and B ; a a is the largest idempotent not containing a. It follows that B ; and A ; a a are consecutive idempotents.Note that B ; ; . 1 d Theorem 2.53.(i) No idempotent of the form A ; has an immediate successor. (ii) All consecutive pairs of idempotents have the form B ; and A ; for a a some a , a 0. Proof.(i) Let A ; . Suppose x Δ but x A ; . Then x n a a a for all positive standard integers n. Let y x a which is defined since is a nonstandard model of . Then y a n for all positive standard integers n so that y A . So A a y A ; . Similarly x y n so x A . Hence A Δ. Thus A ; and Δ a y y a are not consecutive. (ii) Let C and D be consecutive idempotents such that C D. Let a D with a C. Then C B ; A ; D. Hence C B ; and a a a D A ; . Theorem 2.54.If ab. p. has the form B then has type 1 or 1A. Proof.Incidentally, we already know that in general ab. p. cannot have type 1 and 1A simultaneously. Let d and d then we write d d d qq d q. 2. 105 Now a B ; and therefore b b c c a c b . We now define an ordinary Dedekind cut L for the real numbers , where L is the set of lower b b elements, as follows. Let r L iff b r a . It is immediate that d d 0 L , 1 L , z y L z L . So we have a Dedekind cut. Then L has a b b b b b maximum or L has a minimum. Suppose first that L has a maximum r r . Then b max b r a and therefore by definition (2.105) there exist q qr such d d that b r a qr, 2. 106 d d d # # but for any real s r, b s a α. We now claim that b r a d d d d works to show that α has type 1. In fact, suppose qr x then from enequality (2.106) follows that b r a x q r x. 2. 107 d d d d d # # and therefore b r a x . Let s r. Since b s a , d d d # # b s a q r x b r a x. 2. 108 d d d d d d # # # Therefore x s r a. Thus x for every positive real ; i.e. x B ; . A similar argument shows that has type 1A if L has a minimum. Examples.(i)The result applies to B ; ; . It follows from 1 d Theorem 2.54 that every with ab. p. ; must be either of the form # # a ; or a ; with a , a 0. d d d d (ii)The result applies to B ; , 0; i.e. B ; ; . It follows from Theorem 2.54 that every with ab. p. ; must be either of the form a ; or d d d d a ; with a , a 0. d d d 2.16. The semirings , p and , p. 2.16.1. The semiring , p. Definition 2.37.Let a , m \, n \, k , St a , 0, p \, k n where p is an given infinite prime number. We will say that a is -near-standard hyper rational p-number iff: m m (i) 0 St , k n k n (ii) m|p, m k, and (iii) n p. Definition 2.38.The set of the all -near-standard hyper rational p-numbers is denoted, , p. Theorem 2.55.The set , p as algebraic structure in a natural way is an ordered semiring,i.e., a structure of the form , p, , , , 0, 1, 2. 109 ,p ,p ,p where , p is the set of elements of the structure, and are the ,p ,p binary operations of additions and multiplication, is the ordering relation,and 0, 1 ,p are distinguished elements of the domain. Proof.Immediately from definitions. 2.16.2 The semiring , p. Definition 2.39. (Wattenberg embeding) We embed , p into , p of the following way: (i) if , the corresponding element of , p is 2. 110 x |x ,p ,p and # # a a . 2. 111 ,p ,p (ii) If ,β , p we define the sum ,p β by β a b|a , b . 2. 112 ,p ,p (iii) If , p, , p,β we define the sum β by d d d β a b|a , b . 2. 113 (iv) Suppose ,β , p. Then we define the ordering relations β and ,p β by ,p β , ,p 2. 114 β β. ,p (v) Suppose , , p,β , p.Then we define the ordering d d d relations β , p and β , p 1 1 d d d d d d by β aa bb a b, 2. 115 β bb aa a b (vi) Suppose , p , , p ,β .Then we define the ordering d d d relations β , p and β , p 2 2 d d d d d d by β aa bb a b, 2. 116 β bb aa a b fin (vii) If A , p is bounded above in then we define sup A , p 2. 117 and inf A , p. 2. 118 , p . The product β, is defined as follows. (viii) Suppose ,β ,p # # Case (1) 0 ,β 0 ,p ,p d d ,p # # # # a b|0 a , 0 b 2. 119 ,p ,p ,p ,p ,p d d d d , p, 0. # # Case (2) 0 or β 0 β 0 . 2. 120 ,p # # Case (3) 0 or β 0 # # β || || iff 0 0 , ,p ,p d d ,p ,p d d # # β iff 0 0 , | | | | 2. 121 ,p ,p d d ,p ,p d d # # β iff 0 0 . | | | | ,p ,p ,p ,p d d d ,p d (ix) Suppose , p, , p,β The product β, is defined d d d as follows. # # Case (1) 0 ,β 0 : ,p d d # # # # a b|0 a , 0 b 2. 122 ,p ,p d d d d , p 0. # # Case (2) 0 or β 0 : β 0 . 2. 123 # # Case (3) 0 or β 0 : ,p d d # # β || || iff 0 0 , ,p d d d # # β iff 0 0 , 2. 124 | | | | ,p d d d ,p d d # # β || || iff 0 0 . ,p d d d ,p d Such embeding , p into , p as required above we will name Wattenberg embeding and is denoted by , p , p Theorem 2.56. , p is complete ordered semiring. Proof.Immediately from definitions. Remark 2.21.The following element of , p will be particularly useful for examples, ; , p , p 0. 2. 125 Examples.Note,for importent examples, that: ; , p ; , p ; , p, d d d 2. 126 ; , p ; , p ; , p. ,p ,p ,p d d d d d d 2.16.3. Absorption numbers in , p Definition 2.34. Suppose , p, then ab. p. d 0 |x x d . 2. 127 x ,p ,p d Examples. # # (i) a , p : ab. p.a 0 , (ii) ab. p. ; , p ; , p, d d (iii) ab. p. ; ; , ,p d d (iv) , p : ab. p. ; , p ; , p, ,p d d (v) , p : ab. p. ; , p ; , p. ,p d d Theorem 2.57. (i) c ab. p. and 0 d c d ab. p. ,p ,p ,p d d d (ii) c ab. p. and d ab. p. c d ab. p. . ,p Remark 2.22. By Theorem 2.57 ab. p. may be regarded as an element of , p by adding on all negative elements of , p to ab. p.. d d Of course if the condition d 0 in the definition of ab. p. is deleted we ,p automatically get all the negative elements to be in ab. p. since x y x . The reason for our definition is that the real interest lies ,p in the non-negative numbers. A technicality occurs if ab. p. 0 . We then identify ab. p. with 0 . Remark 2.23. By Theorem 2.57(ii), ab. p. is additive idempotent. Theorem 2.58. (i) ab. p. is the maximum element , p such that . ,p (ii) ab. p. for 0 . ,p ,p d d (iii) If is positive and idempotent then ab. p. . Theorem 2.59.Let satsify 0 . Then the following are equivalent. In what follows assume a, b 0 . ,p (i) is idempotent, (ii) a, b a b , ,p (iii) a 2 a , ,p (iv) n a n a , n ,p (v) a q a , for all finite q , p. ,p Theorem 2.60. ab. p. . ,p ,p ,p d d d Theorem 2.61. ab. p. ab. p.. ,p ,p d d Theorem 2.62. (i) ab. p. . ,p ,p ,p ,p ,p ,p d d d d d d (ii) ab. p. ,p ,p ,p ,p d d d d ab. p. . ,p ,p d d Theorem 2.63.Suppose , , p, then (i) ab. p. ab. p., ,p (ii) ab. p. maxab. p., ab. p. ,p Theorem 2.44. Assume 0. If absorbs then absorbs . ,p Theorem 2.45. Let 0 , p. Then the following are equivalent d (i) is an idempotent, (ii) , ,p ,p ,p ,p d d d d (iii) . ,p ,p ,p d d d (iv) Let and be two positive idempotents such that . 1 2 2 1 ,p Then . 2 ,p ,p 1 2 d d 2.17.Gonshor’s types of , p with given ab. p.. Among elements of , p such that ab. p. one can distinguish two many different types. Definition 2.36.Assume 0 . ,p (i) , p has type 1 if xx yx y y , ,p (ii) , p has type 2 if x x y y x y , i.e. ,p , p has type 2 iff does not have type 1. (iii) , p has type 1A if xx yx y y ,p Theorem 2.47. (i) , p has type 1 iff has type 1A, ,p (ii) , p cannot have type 1 and type 1A simultaneously. (iii) Suppose ab. p. 0 . Then has type 1 iff has the form ,p a for some a , p ,p (iv) Suppose ab. p. , 0 . , p has type 1A iff has the ,p d d form a for some a , p. ,p (v) If ab. p. ab. p. then has type 1 iff has type 1. ,p ,p d d (vi) If ab. p. ab. p. then has type 2 iff either or ,p has type 2. Proof. (iii) Let a . Then ab. p. .Since 0, a a ,p ,p ,p d d d (we chose d such that 0 d and write a as a d d ). ,p ,p ,p d d d It is clear that a works to show that has type 1. Conversely, suppose has type 1 and choose a such that: ya y y . Then we claim that: a . ,p ,p d d By definition of ab. p. certainly a . On the other hand by choice ,p ,p d d of a, every element of has the form a d with d . ,p Choose d such that d d, then a d ,p ,p a d d d a . ,p ,p ,p d d d d Hence a . Therefore a . ,p ,p ,p d d d Examples. (i) ; , p has type 1 and therefore ; , p has type d d 1A. Note that also ; , p has type 2. (ii) Suppose 0, . Then ,p # # ; , p has type 1 and therefore ; , p has ,p ,p d d d d type 1A. 2.18.The Special Kinds of Idempotents in , p Let a , p, a 0 . Then a gives rise to two idempotents A ; , p, ,p B ; , p in a natural way A ; , p x , p | n n x n a , 2. 128 a ,p ,p and B ; , p x , p |r r x r a . 2. 129 a ,p ,p Remark 2.20. It is immediate that A ; , p and B ; , p are a a idempotents.It is also clear that A ; , p is the smallest idempotent containing a and B ; , p is the largest idempotent not containing a. It follows that B ; , p and A ; , p are consecutive idempotents.Note that B ; , p ; , p . Theorem 2.53.(i) No idempotent of the form A ; , p has an immediate successor. (ii) All consecutive pairs of idempotents have the form B ; , p and A ; , p for some a , p, a 0 . a ,p Proof.(i) Let A ; , p . Suppose x Δ but x A ; , p . Then a a x n a for all positive standard integers n. Let y x a which is defined ,p ,p d d since is a nonstandard model of . Then y a n for all positive standard integers n so that y A . So A A ; , p. Similarly x y n so x A . Hence A Δ. Thus a y y y A ; , p and Δ are not consecutive. (ii) Let C and D be consecutive idempotents such that C D. Let a D with ,p a C. Then C B ; , p A ; , p D. Hence ,p ,p ,p a a d d d C B ; , p and D A ; , p. a a Theorem 2.54.If ab. p. has the form B ; , p then has type 1 or 1A. Proof.Incidentally, we already know that in general ab. p. cannot have type 1 and 1A simultaneously. Let d and d , p , then we write d d d qq d q. 2. 130 Now a B ; and therefore bb cc a c b. We now ,p define an ordinary Dedekind cut L for the real numbers , where L is the set of lower b b elements, as follows. Let r L iff b r a . It is immediate that d d 0 L , 1 L , z y L z L . So we have a Dedekind cut. Then L has a b b b b b maximum or L has a minimum. Suppose first that L has a maximum r r . Then b max b r a and therefore by definition 2.130, there exist q qr such d d that b r a q r , 2. 131 d d d # # but for any real s r, b s a α. We now claim that b r a d d d d works to show that α has type 1. In fact, suppose x , p and qr x then from enequality (2.131) follows that b r a x qr x. 2. 132 d d d d d # # and therefore b r a x . Let s r. Since b s a , d d d # # b s a qr x b r a x. 2. 133 d d d d d d # # # Therefore x s r a. Thus x for every positive real ; i.e. d d x B ; , p, since x , p. A similar argument shows that has type 1A if L d b has a minimum. Examples.(i)The result applies to B ; , p ; , p. It follows from e d Theorem 2.54 that every with ab. p. ; , p must be either of the form # # a ; , p or a ; , p with a , p, ,p ,p ,p d d d d d a 0. (ii)The result applies to B ; , p, 0; i.e. B ; , p ; , p. It follows from Theorem 2.54 that every with ab. p. ,p ; must be either of the form a ; , p or 1 ,p ,p ,p d 1 d d d d a ; , p with a , p, a 0. ,p ,p ,p d d d 3. The proof of the #-transcendenсe of the numbers e , k . In this section we will prove the #-transcendenсe of the numbers e , k . Key idea of this proof reduction of the statement of e is #-transcendental number to equivalent statement in by using pseudoring of Wattenberg hyperreals [6] and d d d Gonshor idempotent theory [7]. We obtain this reduction by three steps, see subsections 3.2.1-3.2.3. 3.1. The basic definitions of the Shidlovsky quantities In this section we remind the basic definitions of the Shidlovsky quantities [8].Let M n, p, M n, p and n, p be the Shidlovsky quantities: 0 k k p1 x x x 1. . .x n e M n, p dx 0, 3. 1 p 1! p1 x x x 1. . .x n e M n, p e dx, k 1, 2, . . . 3. 2 p 1! p1 x x x 1. . .x n e n, p e dx, k 1, 2, . . . 3. 3 p 1! where p this is any prime number.Using Eqs.(3.1)-(3.3.) by simple calculation one obtains: M n, p n, p e M n, p 0, k 1, 2, . . . . 3. 4 k k 0 and consequently M n, p n, p k k M n, p 3. 5 k 1, 2, . . . n p Lemma 3.1.[8]. Let p be a prime number. Then M n, p 1 n! p , . 0 1 1 Proof. ([8], p.128) By simple calculation one obtains the equality n1p p n p p1 p1 1 x x 1. . .x n 1 n! x c x , 3. 6 p1 c , p, p 1, . . . , n 1 p 1, n 0, 1 x where p is a prime. By using equality x e dx 1!, where , from Eq.(3.1) and (3.6) one obtains n1p n p M n, p 1 n! c 0 1 p 1! p 1! p1 3. 7 n p 1 n! c p c pp 1 . . . p p1 n p 1 n! p , . 1 1 Thus n p M n, p 1 n! p n, p, n, p . 3. 8 0 1 1 Lemma 3.2.[8]. Let p be a prime number. Then M n, p p n, p, n, p , k 2 2 k 1, 2, . . . , n . Proof.([8], p.128) By subsitution x k u dx du from Eq.(3.3) one obtains p1 p u k u k 1 . . .u . . .u k n e M n, p du p 1! 3. 9 k 1, 2, . . . By using equality n1p p1 p u k u k 1 . . .u . . .u k n d u , 3. 10 p1 d , p, p 1, . . . ,n 1 p 1, and by subsitution Eq.(3.10) into RHS of the Eq.(3.9) one obtains n1p 1 1 M n, p d u du p n, p, 3. 11 k 1 2 p 1! p1 n, p , k 1, 2, . . . . Lemma 3.3.[8]. (i) There exists sequences an, n and gn, n such that p1 3. 12 n gn an n, p , | | p 1! where sequences an, n and gn, n does not depend on number p. (ii) For any n : n, p 0 if p . Proof.([8], p.129) Obviously there exists sequences an, n and gn, k , n such that an, n and gn, n does not depend on number p x x 1 . . . x n a n , 0 x n 3. 13 | | and xk |x 1. . .x ne | gn, 0 x n, k 1, 2, . . . , n. 3. 14 Substitution inequalities (3.13)-(3.14) into RHS of the Eq.(3.3) by simple calculation gives p1 p1 an n gn an n, p gn dx . 3. 15 p 1! p 1! Statement (i) follows from (3.15). Statement (ii) immediately follows from a statement (ii). Lemma 3.4.[8]. For any k n and for any such that 0 1 there exists p such that M n, p e . 3. 16 M n, p Proof.From Eq.(3.5) one obtains M n, p n, p | | k k e . 3. 17 M n, p M n, p 0 0 From Eq.(3.17) by using Lemma 3.3.(ii) one obtains (3.17). Remark 3.1.We remind now the proof of the transcendence of e following Shidlovsky proof is given in his book [8]. Theorem 3.1. The number e is transcendental. Proof.([8], pp.126-129) Suppose now that e is an algebraic number; then it satisfies some relation of the form a a e 0, 3. 18 0 k k1 where a , a , . . . , a integers and where a 0. Having substituted RHS of the 0 1 n 0 Eq.(3.5) into Eq.(3.18) one obtains n n n M n, p n, p M n, p n, p k k k k a a a a a 0. 3. 19 0 k 0 k k M n, p M n, p M n, p 0 0 0 k1 k1 k1 From Eq.(3.19) one obtains n n a M n, p a M n, p a n, p 0. 3. 20 0 0 k k k k k1 k1 We rewrite the Eq.(3.20) for short in the form n n a M n, p a M n, p a n, p 0 0 k k k k k1 k1 a M n, p n, p a n, p 0, 3. 21 0 0 k k k1 n, p a M n, p. k k k1 We choose now the integers M n, p, M n, p, . . . , M n, p such that: 1 2 n p|M n, p, p|M n, p, . . . , p|M n, p 1 2 n 3. 22 where p |a | and p M n, p. Note that p| n, p. Thus one obtains p a M n, p n, p 3. 23 0 0 and therefore a M n, p n, p , 0 0 3. 24 where a M n, p n, p 0. 0 0 By using Lemma 3.4 for any such that 0 1 we can choose a prime number p p such that: n n a n, p a 1. 3. 25 | | k k k k1 k1 From (3.25) and Eq.(3.21) we obtain a M n, p n, p 0. 3. 26 0 0 From (3.26) and Eq.(3.24) one obtains the contradiction.This contradiction finalized the proof. 3.2 The proof of the #-transcendenсe of the numbers e , k . We will divide the proof into four parts 3.2.1. Part I.The Robinson transfer of the Shidlovsky quantities M n, p , M n, p , n, p 0 k k In this subsection we will replace using Robinson transfer the Shidlovsky quantities M n, p, M n, p, n, p by corresponding nonstandard quantities M n, p, M n, p, 0 k k 0 k n, p . The properties of the nonstandard quantities M n, p , M n, p , n, p one k 0 k k obtains directly from the properties of the standard quantities M n, p, M n, p, n, p 0 k k using Robinson transfer principle [4],[5]. 1.Using Robinson transfer principle [4],[5] from Eq.(3.8) one obtains directly n p M n, p 1 n! p n, p, 0 1 3. 27 n, p , n, p . \. From Eq.(3.11) using Robinson transfer principle one obtains kk : M n, p p n, p , k 2 3. 28 n, p , k 1, 2, . . . , k , n, p . Using Robinson transfer principle from inequality (3.15) one obtains kk : p1 n gn an n, p , p 1! 3. 29 k 1, 2, . . . , k , n, p . Using Robinson transfer principle, from Eq.(3.5) one obtains k k : M n, p n, p k k e e , M n, p M n, p 0 0 3. 30 k 1, 2, . . . , k , n, p . Lemma 3.5. Let n , then for any k and for any 0, there exists p such that M n, p e . 3. 31 M n, p Proof. From Eq.(3.30) we obtain kk : M n, p n, p | | k k e , M n, p | M n, p| 0 0 3. 32 k , n, p . From Eq.(3.32) and (3.29) we obtain (3.31). 3.2.2. Part II.The Wattenberg imbedding e into st.d In this subsection we will replace by using Wattenberg imbedding [6] and Gonshor tipe transfer of the nonstandard quantities e and the nonstandard Shidlovsky quantities from and from : M n, p, M n, p, n, p 0 k k by corresponding Wattenberg quantities from and from , q : st.d st.d # # # k ,q ,q e , M n, p , M n, p , n, p . 0 k k # # # ,q ,q The properties of the Wattenberg tipe quantities e , M n, p , M n, p , 0 k n, p one obtains directly from the properties of the corresponding nonstandard quantities e , M n, p, M n, p, n, p using Gonshor transfer principle [4],[7]. 0 k k 1.By using Wattenberg imbedding , from Eq.(3.30) one obtains st st.d # # k M n, p n, p # k k e e , M n, p M n, p 0 0 3. 33 n, p M n, p k 1, 2, . . . ; k , n, p , p 2.By using Wattenberg imbedding , and Gonshor transfer (see subsection 2.9 Theorem 2.19) from Eq.(3.27) one obtains # # #,q n p # M n, p 1 n! p n, p 0 1 # # # # 1 n! p n, p , 3. 34 n, p , n, p . 1 ,d 3.By using Wattenberg imbedding , from Eq.(3.28) one obtains M n, p p n, p , k 2 3. 35 n, p , ,d k 1, 2, . . . , k , n, p . Lemma 3.6. Let n , then for any k and for any 0, there exist p such that M n, p k # M n, p 3. 36 # p1 n gn an n, p M n, p p 1! Proof. Inequality (3.36) immediately follows from inequality (3.31) by using Wattenberg imbedding and Gonshor transfer. st st.d 3.2.3.Part III.Reduction of the statement of e is #-transcendental number to equivalent statement in , q using Gonshor idempotent theory To prove that e is #-transcendental number we must show that e is not w-transcendental, i.e., there does not exist real -analytic function g x a x with n0 rational coefficients a , a , . . . , a , . . . such that 0 1 n a e 0, n0 3. 37 |a |e . n0 Suppose that e is w-transcendental, i.e., there exists an -analytic function ğ x ă x , with rational coefficients: n0 k k k 0 1 n ă ,ă , . . . ,ă , . . . , 0 1 n m m m 0 1 n 3. 38 ă 0, such that the equality is satisfied: ă e 0. n0 3. 39 |a |e . n0 In this subsection we obtain an reduction of the equality given by Eq.(3.39) to equivalent equality given by Eq.(3.). The main tool of such reduction that external countable sum defined in subsection 2.8. Lemma 3.7.Let k and k be the sum correspondingly k1 k ă ă e , 0 n n1 3. 40 k ă e . nk1 Then k 0, k 1, 2, . . . Proof. Suppose there exists k such that k 0. Then from Eq.(3.39) follows k 0. Therefore by Theorem 3.1 one obtains the contradiction. Remark 3.2.Note that from Eq.(3.39) follows that in generel case there is a sequence m such that i1 lim m , i ă e 0 , 3. 41 n1 ă lim ă e 0, 0 n n1 or there is a sequence m such that j1 lim m , j ă e 0 , 3. 42 n1 ă lim ă e 0, 0 n n1 or both sequences m and m with a property that is specified above exist. i j i0 j0 Remark 3.3. We assume now for short but without loss of generelity that (3.41) is satisfied. Then from (3.41) by using Definition 2.17 and Theorem 2.14 (see subsection 2.8) one obtains the equality [4] # # # ă # Ext- ă e . 3. 43 0 st.d n d st.d # # Remark 3.4.Let k and k be the upper external sum defined by k1 # # # k ă # Ext- ă e , 0 st.d n n1 3. 44 # n k # Ext- ă e . st.d n nk1 Note that from Eq.(3.43)-Eq.(3.44) follows that # # k k . 3. 45 Remark 3.5. Assume that , and . In this subsection we will write for a short ab| iff absorbs , i.e. . # # Lemma 3.8. ab k| k, k 1, 2, . . . # # Proof.Suppose there exists k such that ab k| k. Then from Eq.(3.45) one obtains k . 3. 46 From Eq.(3.46) by Theorem 2.11 follows that k 0 and therefore by Lemma 3.7 one obtains the contradiction. Theorem 3.2.[4] The equality (3.43) is inconsistent. Proof.Let us consider hypernatural number defined by countable sequence m , m m , . . . , m m . . .m , . . . 3. 47 0 0 1 0 1 n From Eq.(3.43) and Eq.(3.47) one obtains # # # ă #Ext- ă e 3. 48 , 0 , , n st.d st.d st.d Remark 3.6.Note that from inequality (3.27) by Wattenberg transfer one obtains # p1 n g n an 3. 49 n, p , p 1! n , n, p . Substitution Eq.(3.30) into Eq.(3.48) gives # # # n #Ext- e n\0 # # 3. 50 M n, p n, p # n n # # #Ext- , n d M n, p # # # # # # ă , n , ă . n n 0 Multiplying Eq.(3.50) by Wattenberg hyperinteger M n, p by Theorem 2.13 (see subsection 2.8) one obtains # # # # # # M n, p #Ext- M n, p n, p 0 n n n 3. 51 M n, p . 0 d By using inequality (3.49) for a given , 0 we will choose infinite prime integer p such that: # # # # # #Ext- n, p M n, p 3. 52 k k 0 d Now using the inequality (3.49) we are free to choose a prime hyperinteger p and # # # , p 0 in the Eq.(3.51) for a given , 0 such that: # # # M n, p p . 3. 53 Hence from Eq.(3.52) and Eq.(3.53) we obtain # # #Ext- n, p . 3. 54 n n d Therefore from Eq.(3.51) and (3.54) by using definition (2.15) of the function Int. p given by Eq.(2.20)-Eq.(2.21) and corresponding basic property I (see subsection 2.7) of the function Int. p we obtain # # # # # # Int. p M n, p #Ext- M n, p n, p 0 n n 0 n n 3. 55 # # M n, p #Ext- M n, p 0 n n # # # # Int. p M n, p M n, p . 0 d 0 d From Eq.(3.55) using basic property I of the function Int. p finally we obtain the main equality # # # # # # M n, p #Ext- M n, p M n, p . 3. 56 0 k n 0 d We will choose now infinite prime integer p in Eq.(3.56) p p such that p max| |, n . 3. 57 Hence from Eq.(3.34) follows # # p M n, p . 3. 58 Note that M n, p 0 . Using (3.57) and (3.58) one obtains: # # # p M n, p . 3. 59 0 0 Using Eq.(3.35) one obtains # # p M n, p , n 1, 2, . . . . 3. 60 3.2.4.Part IV.The proof of the inconsistency of the main equality (3.56) In this subsection we wil prove that main equality (3.56) is inconsistent. This prooff is based on the Theorem 2.10 (v), see subsection 2.6. Lemma 3.9.The equality (3.56) under conditions (3.59)-(3.60) is inconsistent. Proof. (I) Let us rewrite Eq.(3.56) in the short form n, p n, p p , 3. 61 where # # n, p #Ext- M n, p , n n n1 3. 62 n, p M n, p , # # p M n, p . From (3.59)-(3.60) follows that p n, p, 3. 63 p n, p. Remark 3.7.Note that n, p . Otherwise we obtain that ab. pn, p n, p . But the other hand from Eq.(3.61) follows that ab. p n, p n, p p . But this is a contradiction. This contradiction completed the proof of the statement (I) # # # # # # # (II) Let k, n, p, k, n, p, k , k , n, p and k, n, p, , k, n, p, , be the 1 2 n n external sum correspondingly k1 k, n, p n, p M n, p , n1 k, n, p #Ext- M n, p , n n nk1 k , k , n, p M n, p , 3. 64 1 2 n n nk k1 # # # k, n, p, n, p M n, p n, p , n n n n n n1 # # # k, n, p, #Ext- M n, p n, p , n n n n n nk1 Note that from Eq.(3.61) and Eq.(3.64) follows that # # k, n, p k, n, p p . 3. 65 Lemma 3.10. (i) Under conditions (3.59)-(3.60) # # # # ab k, n, p, k, n, p, , k 1, 2, . . . 3. 66 n n And (ii) Under conditions (3.59)-(3.60) # # ab k, n, p k, n, p , k 1, 2, . . . 3. 67 Proof. (i) First note that under conditions (3.59)-(3.60) one obtains k k, n, p, 0 3. 68 # # # # Suppose that there exists a k 0 such that ab k, n, p, k, n, p, . Then from n n Eq.(3.65) one obtains # # k, n, p, p . 3. 69 From Eq.(3.69) by Theorem 2.17 one obtains # # 1 1 # # # # p k, n, p, p k, n, p, d n n 3. 70 k, n, p. Thus k, n, p. 3. 71 From Eq.(3.71) by Theorem 2.11 follows that k 0 and therefore by Lemma 3.7 one obtains the contradiction. This contradiction finalized the proof of the Lemma 3.10 (i). Proof. (ii) This is immediate from the Definition 2.14 (Property I), see subsection 2.7. Part (III) Remark 3.8.(i) Note that from Eq.(3.62) by Theorem 2.10 (v) follws that n, p has the form n, p q ab. p n, p 3. 72 # # q p , where q n, p 1, n, p , 3. 73 q andp |q. (ii) Substitution by Eq.(3.72) into Eq.(3.61) gives # # # n, p n, p n, p q p p . 3. 74 d d Remark 3.9. Note that from (3.74) by definitions follows that # # abn, p q | p . 3. 75 From Eq.(3.74) follows that # # # n, p q p p . 3. 79 d d Therefore # # p n, p q . 3. 80 d d From Eq.(3.80) obviously follows that # # p n, p q 0, 3. 81 1 1 # # # p n, p q p Now we dealing with semiring , p, (see subsection 2.16.2).By consideration similarly as above we obtain # # # p n, p q 0 , d d 3. 82 1 1 # # # p n, p q p d d 1 and # # p n, p q ; ,p d d d d 3. 83 ; . ,p From inequality (3.36) follows that we willin to choose p and 0 such that p ; . 3. 84 But this is a contradiction. This contradiction completed the proof of the Lemma 3.9. 4.Generalized Lindemann-Weierstrass theorem In this section we remind the basic definitions of the Shidlovsky quantities,see [8] p.132- 134. Theorem 4.1.[8] Let f z, l 1, 2, . . . , r be a polynomials with coefficients in . Assume that for any l 1, 2, . . . , r algebraic numbers over the field : , . . . , , 1,l k ,l k 1, l 1, 2, . . . , r l form a complete set of the roots of f z such that f z z , deg f z k , l 1, 2, . . . , r 4. 1 l l l and a , l 1, 2, . . . , r, a 0. Then l 0 r k k,l a a e 0. 4. 2 0 l l1 k1 Let f z be a polynomial such that f z f z b b z . . .b z r l 0 1 N r l1 4. 3 r l b z , b 0, b 0, N k . N k,l 0 N r l l1 l1 k1 Let M N , p, M N , p and N , p be the quantities [8]: 0 r k,l r k,l r N 1p1 p p1 z b z f ze dz M N , p , 4. 4 0 r p 1! where in (4.4) we integrate in complex plane along line 0,, see Pic.1. N 1p1 p p1 z b z f ze dz k,l M N , p e , 4. 5 k,l r p 1! k,l where k 1, . . . , k and where in (4.5) we integrate in complex plane along line with initial point and which are parallel to real axis of the complex plane , see Pic.1. k,l k,l N 1 p1 r p p1 z b z f ze dz N r k,l N , p e , 4. 6 k,l r p 1! where k 1, . . . , k and where in (4.6) we integrate in complex plane along contour 0, , see Pic.1. k,l Pic.1.Contour 0, in complex k,l plane . From Eq.(4.3) one obtains N 1p N 1p1 p N 1p1 p r r p1 p1 s1 b z f z b b z c z , 4. 7 r s1 N N 0 r r sp1 where b b 0, c , s p, . . . ,N 1p 1. Now from Eq.(4.4) and Eq.(4.7) using N 0 s r formula s1 x s x e dx s 1!, s one obtains N 1p N r1p1 p b b N r 0 s1 p1 z s1 z M N , p z e dz z e dz 0 r p 1! p 1! sp1 0 0 4. 8 N 1p s 1! N 1p1 p N 1p1 p r r b b c b b pC, s1 N 0 N 0 r r p 1 ! sp1 where b b 0, C . We choose now a prime p such that p max|a |, b , |b |. Then N 0 0 N 0 r r from Eq.(4.8) follows that p a M N , p. 4. 9 0 0 r From Eq.(4.3) and Eq.(4.5) one obtains r j k,l N p1 p e r p1 p1 z k,l M N , p b z z z e dz, 4. 10 k,l r i,j p 1! j1 i1 k,l where k 1, . . . , k , l 1, . . . , r. By change of the variable integration z u in RHS of l k,l the Eq.(4.10) we obtain r j N p1 p1 p 1 r p u M N , p b u u e z du, 4. 11 k,l r k,l k,l i,j p 1! 0 j1 i1 ik jl where k 1, . . . , k , l 1, . . . , r. Let us rewrite now Eq.(4.11) in the following form M N , p k,l r r j 4. 12 p1 p 1 p u b u b u e b u b b du N N k,l N N k,l N i,j r r r r r p 1! 0 j1 r 1 jl ik Let be a ring of the all algebraic integers. Note that [8] b , i 1, . . . , k , j 1, . . . , r. 4. 13 i,j N i,j A j Let us rewrite now Eq.(4.12) in the following form p1 1 p u M N , p b u u e b u du 4. 14 k,l r N k,l N k,l i,j r r p 1! j1 i1 ik jl where k 1, . . . , k , l 1, . . . , r. From Eq.(4.14) one obtains p u u e u a M N , p du, l k,l r p 1! l1 k1 r k r j 4. 15 p1 p u u a b u u e b u r l N k,l N k,l i,j r r l1 k1 j1 i1 ik jl The polynomial u is a symmetric polynomial on any system of variables r l , , . . . , , where 1,l 2,l k ,l , , . . . , , l 1, . . . , r. l 1,l 2,l k ,l 4. 16 , , . . . , , l 1, . . . , r. 1,l 2,l k ,l A It well known that u u (see [8] p.134) and therefore N 1p p s1 u u c u , c . 4. 17 r s1 s sp1 From Eq.(4.15) and Eq.(4.17) one obtains r k p u u e u a M N , p du l k,l r p 1! l1 k1 4. 18 N r1p N r1p s 1! s1 s1 u u e du c pC, C . s1 p 1! p 1! sp1 sp1 Therefore N , p a M N , p , r l k,l r 4. 19 l1 k1 p|N , p. Let O be a circle wth the centre at point 0, 0. We assume now that kl O . We will designate now k,l R 1 z k,l g r max |b f ze |, k,l r z R | | 4. 20 g r max g r, gr max b zf z . | | 0 r k,l N r 1kk ,1lr |z |R From Eq.(4.6) and Eq.(4.20) one obtains k,l N 1p1 p p1 z k,l b z f ze dz | N , p| k,l r p 1! 4. 21 k,l p1 p1 g rg r g rg rR p1 | | 0 k,l 0 1 1 z 1 k,l |b fze ||b zf z| dz , N N r r p 1! p 1! p 1! where k 1, . . . , k , l 1, . . . , r. Note that l p1 g rg rR 0 if p . 4. 22 p 1! From (4.22) follows that for any 0, there exists a prime number p such that r k a N , p p 1. 4. 23 l k,l r l1 k1 where k 1, . . . , k , l 1, . . . , r. From Eq.(4.4)-Eq.(4.6) follows M N , p N , p k,l r k,l r k,l e 4. 24 M N , p 0 r where k 1, . . . , k , l 1, . . . , r. Assume now that r k k,l a a e 0. 4. 25 0 l l1 k1 Having substituted RHS of the Eq.(4.24) into Eq.(4.25) one obtains r k M N , p N , p k,l r k,l r a a 0 l M N, p l1 k1 4. 26 k k r r l l M N , p N , p k,l r k,l r a a a 0. 0 l l M N , p M N , p 0 r 0 r l1 k1 l1 k1 From Eq.(4.26) by using Eq.(4.19) one obtains a N , p a N , p 0. 4. 27 0 r l k,l r l1 k1 We choose now a prime p such that p max|a |, |b |, |b | and p 1. Note that 0 0 N p|N , p and therefore from Eq.(4.19) and Eq.(4.27) one obtains the contradiction. This contradiction completed the proof. 5.Generalized Lindemann-Weierstrass theorem Theorem 5.1.[4] Let f z, l 1, 2, . . . , be a polynomials with coefficients in . Assume that for any l algebraic numbers over the field : , . . . , , k 1, l 1, 2, . . . form a 1,l k ,l l complete set of the roots of f z such that f z z, deg f z k , l 1, 2, . . . 5. 1 l l l and a , a 0, l 1, 2, . . . , . We assume now that l 0 k,l |a | |e | . 5. 2 l1 k1 Then k,l a a e 0. 5. 3 0 l l1 k1 We will divide the proof into three parts Part I.The Robinson transfer Let fz f z z, z , l 1, 2, . . . , r, r be a nonstandard polynomial such that fz f z f z b b z . . .b z r l 0 1 N l1 r k 5. 4 b z , b 0, b 0, N k,l 0 N l1 k1 N N k . r l l1 Let M N, p, M N, p and N, p be the quantities: 0 k,l k,l N1p1 p1 p z b z f z e dz M N, p , 5. 5 p 1! N, p , where in (5.5) we integrate in nonstandard complex plaine along line 0,, see Pic.1. N1p1 p1 p z b z f z e dz k,l M N, p e , k,l p 1! 5. 6 k,l N, p , where k 1, . . . , k and where in (5.6) we integrate in nonstandard complex plain along line with initial point and which are parallel to real axis of the complex k,l plane , see Pic.1. k,l N1p1 p1 p z b z f z e dz k,l N, p e , k,l p 1! 5. 7 N, p , where k 1, . . . , k and where in (5.7) we integrate in nonstandard complex plain along contour 0, , see Pic.1. k,l 1.Using Robinson transfer principle [4],[5],[6] from Eq.(5.5) and Eq.(4.8) one obtains directly N1p1 M N, p b b pC, 5. 8 N 0 where b b 0, C . We choose now infinite prime p such that N 0 p max a , b , b . 5. 9 | | | | 0 N 0 2.Using Robinson transfer principle from Eq.(5.6) and Eq.(4.19) one obtains directly rr : 5. 10 N, p, r a M N, p pC . l k,l l1 k1 and therefore rr : 5. 11 p| N, p, r. 3.Using Robinson transfer principle from Eq.(5.7) and Eq.(4.21) one obtains directly k,l N1p1 p1 p z b z f z e dz k,l | N, p| e k,l p 1! 5. 12 k,l p1 g r g r| | p1 0 k,l 1 z 1 k,l |b fz e ||b zfz| dz N N p 1! p 1! p1 g r g r p 1! where k 1, . . . , k , l 1, . . . , r. Note that 0, there exists p p p1 g r g r . 5. 13 p 1! 4. From (5.13) follows that for any 0, there exists an infinite prime p such that rr : r k 5. 14 a N, p p 1 l k,l l1 k1 where k 1, . . . , k , l 1, . . . , r. . 5. From Eq.(5.5)-Eq.(5.7) we obtain M N, p N, p k,l k,l k,l e , 5. 15 M N, p where k 1, . . . , k , l 1, . . . , r. k,l Part II.The Wattenberg imbedding e into 1.By using Wattenberg imbedding , and Gonshor transfer (see subsection 2.8 Theorem 2.17) from Eq.(5.8) one obtains # N1 p1 # # p M N, p b b p C 5. 16 N 0 # # # N 1 p 1 p # # b b p C N 0 # # # where b b 0 , C . We choose now an infinite prime p such that N 0 # # # # p max|a |, b , b . 5. 17 0 N 2.By using Wattenberg imbedding , and Gonshor transfer from Eq.(5.10) one obtains directly rr : r k 5. 18 # # # N, p, r a M N, p p C l k,l d l1 k1 and therefore rr p N, p, r . 5. 19 3.By using Wattenberg imbedding , and Gonshor transfer from Eq.(5.14) one obtains directly rr : r k 5. 20 # # # # a N, p p 1. l k,l l1 k1 4.By using Wattenberg imbedding , and Gonshor transfer from Eq.(5.15) one obtains directly # # # M N, p N, p # k,l k,l k,l k,l e e , 5. 21 M N, p where k 1, . . . , k , l 1, . . . , r . Part III.Main equality Remark 5.1 Note that in this subsection we often write for a short a instead a , a . For example we write rr : # # M N, p N, p k,l k,l k,l M N, p instead Eq.(5.21). Assumption 5.1. Let f z, l 1, 2, . . . , be a polynomials with coefficients in . Assume that for any l algebraic numbers over the field : , . . . , , k 1, l 1, 2, . . . , r form 1,l k ,l l complete set of the roots of f z such that z z , deg f z k , l 1, 2, . . . 5. 22 l l l l 1, 2, . . . , a , a 0, r 1, 2, . . . . 0 0 Note that from Assumption 5.1 by Robinson transfer follows that algebraic numbers over : , . . . , , k 1, l 1, 2, . . . , for any l 1, 2, . . . , form a complete set of the 1,l k ,l l roots of f z such that f z z, deg f z k , l 1, 2, . . . . 5. 23 l l l Assumption 5.2. We assume now that there exists a sequence ă , l 1, 2, . . . ; r 1, 2, . . . 5. 24 and rational number ă , 5. 25 such that k,l |ă | |e | . 5. 26 l1 k1 and k,l ă ă e 0. 5. 27 0 l l1 k1 Assumption 5.3. We assume now for a short that the all roots , . . . , , 1,l k ,l k 1, l 1, 2, . . . of f z are real. l l In this subsection we obtain an reduction of the equality given by Eq.(5.27) in to some equivalent equality given by Eq.(3.) in . The main tool of such reduction that external countable sum defined in subsection 2.8. Lemma 5.1.Let r and r be the sum correspondingly r1 k k,l r ă ă e , 0 l l1 k1 5. 28 k,l r ă e . lr1 k1 Then r 0, r 1, 2, . . . Proof. Suppose there exist r such that r 0. Then from Eq.(5.27) follows r 0. Therefore by Theorem 4.1 one obtains the contradiction. Remark 5.2. Note that from Eq.(5.27) follows that in generel case there is a sequence m such that i1 lim m , m k i l k,l i ă ă e 0 , 0 l 5. 29 l1 k1 m k i l k,l ă lim ă e 0, 0 l l1 k1 or there is a sequence m such that j1 lim m , j k k,l j ă ă e 0 , 0 l 5. 30 l1 k1 j k k,l ă lim ă e 0, 0 l l1 k1 or both sequences m and m with a property that is specified above exist. i j i0 j0 Remark 5.3. We assume now for short but without loss of generelity that (5.29) is satisfied. Then from (5.29) by using Definition 2.17 and Theorem 2.14 (see subsection 2.8) one obtains the equality [4] # # k,l ă #Ext- ă e . 5. 31 0 l d l k1 # # Remark 5.4.Let r and r be the upper external sum defined by r1 k k,l r ă ă e , 0 l l1 k1 k 5. 32 k,l r #Ext- ă e . k1 lr1 Note that from Eq.(5.31)-Eq.(5.32) follows that # # r r . 5. 33 Remark 5.5. Assume that , and . In this subsection we will write for a short ab| iff absorbs , i.e. . # # Lemma 5.2. ab r| r, k 1, 2, . . . # # Proof.Suppose there exists r such that ab r| r. Then from Eq.(5.33) one obtains r . 5. 34 From Eq.(5.34) by Theorem 2.11 follows that r 0 and therefore by Lemma 5.1 one obtains the contradiction. Theorem 5.2.[4] The equality (5.31) is inconsistent. Proof.Let us considered hypernatural number defined by countable sequence m , m m , . . . , m m . . .m , . . . 5. 35 0 0 1 0 1 n From Eq.(5.31) and Eq.(5.35) one obtains k # # # # k,l ă #Ext- ă e 0 l 5. 36 l k1 # # # k,l #Ext- e 0 l l k1 where # # # # ă , 5. 37 # # 0 l # # # ă . l l Remark 5.6.Note that from inequality (5.12) by Gonshor transfer one obtains p1 # g r g r | | k,l N, p k,l # # p 1! 5. 38 N, p . Substitution Eq.(5.21) into Eq.(5.36) gives l # # # M N, p N, p k,l k,l # # # #Ext- . 5. 39 0 l M N, p l k1 Multiplying Eq.(5.39) by Wattenberg hyperinteger M N, p by Theorem 2.13 0 d (see subsection 2.8) we obtain k k l l # # # # # M N , p #Ext- M N, p N, p 0 0 l k,l k,l 5. 40 l k1 k1 M N, p . 0 d By using inequality (5.38) for a given , 0 we will choose infinite prime integer p , p p such that: k k l l # # # #Ext- N, p . 5. 41 l k,l l k1 k1 Therefore from Eq.(5.40) and (5.41) by using definition (2.15) of the function Int. p given by Eq.(2.20)-Eq.(2.21) and corresponding basic property I (see subsection 2.7) of the function Int. p we obtain k k l l # # # # # Int. p M N, p #Ext- M N, p N, p 0 0 l k,l k,l l k1 k1 k k l l 5. 42 # # # # M N, p #Ext- M N, p 0 0 l k,l l k1 k1 # # # # Int. p M N, p M N, p . 0 d 0 d From Eq.(5.42) finally we obtain the main equality k k l l # # # # # M N, p #Ext- M N, p M N, p . 5. 43 0 d 0 0 l k,l l k1 k1 We will choose now infinite prime integer p in Eq.(3.56) p p such that # # # # # p max|a |, b , b , . 5. 44 0 N 0 0 Hence from Eq.(5.16) follows p M N, p. 5. 45 Note that M n, p 0 . Using (5.44) and (5.45) one obtains: # # p M N, p, r . 5. 46 k,l 0 Using Eq.(5.11) one obtains p M N, p, k, l 1, 2, . . . . 5. 47 k,l Part IV.The proof of the inconsistency of the main equality (5.43) In this subsection we wil prove that main equality (5.43) is inconsistent. This prooff is based on the Theorem 2.10 (v), see subsection 2.6. Lemma 5.3.The equality (5.43) under conditions (5.46)-(5.47) is inconsistent. Proof. (I) Let us rewrite Eq.(5.43) in the short form N, p N, p p , 5. 48 where k k l l # # N, p #Ext- M N, p, l k,l 5. 49 l k1 k1 # # # # n, p M N, p , p M N, p . 0 0 From (5.46)-(5.47) follows that p N, p, 5. 50 p N, p. Remark 5.7.Note that N, p . Otherwise we obtain that ab. pN, p N, p . 5. 51 But the other hand from Eq.(5.48) follows that ab. p N, p N, p p . 5. 52 But this is a contradiction. This contradiction completed the proof of the statement (I). # # # # # # # (II) Let k, N, p , k, N, p , k , k , N, p and k, N, p, , k, N, p, , be the 1 2 n n external sum correspondingly r1 k k l l # # r, N, p N, p M N, p, l k,l l1 k1 k1 k k l l # # r, N, p M N, p, l k,l lr1 k1 k1 r k k 2 l l # # r , r , N, p M N, p, 5. 53 1 2 l k,l lr k1 k1 r1 k k l l # # # # r, N, p, n, p M N, p N, p, k,l l k,l k,l l1 k1 k1 k k l l # # # # r, N, p, #Ext- M N, p N, p. k,l l k,l k,l lr1 k1 k1 Note that from Eq.(5.43) and Eq.(5.53) follows that # # r, N, p r, N, p p , 5. 54 r 1, 2, . . . Lemma 5.4. (i) Under conditions (5.46)-(5.47) # # # # ab r, N, p, r, N, p, , r 1, 2, . . . . 5. 55 k,l k,l And (ii) Under conditions (5.46)-(5.47) # # ab r, N, p r, N, p , r 1, 2, . . . . 5. 56 Proof. (i) First note that under conditions (5.46)-(5.47) one obtains r, N, p, 0 , r 1, 2, . . . 5. 57 k,l # # # # Suppose that there exists r 0 such that ab r, N, p, r, N, p, . Then from k,l k,l Eq.(5.54) one obtains # # r, N, p, p . 5. 58 k,l From Eq.(5.58) by Theorem 2.17 one obtains # # 1 1 # # # # # # p r, N, p, p r, N, p, r, N, p, . 5. 59 k,l k,l k,l Thus # # r, N, p, . 5. 60 k,l From Eq.(5.60) by Theorem 2.11 follows that r 0 and therefore by Lemma 5.2 one obtains the contradiction. This contradiction finalized the proof of the Lemma 5.4 (i) Proof. (ii) This is immediate from the Definition 2.14 (Property I), see subsection 2.7. (III) Remark 5.8.(i) Note that from Eq.(5.49) by Theorem 2.10 (v) follws that N, p has the form N, p q ab. p N, p 5. 61 # # q p where q N, p 1, N, p, 5. 62 q andp |q. (ii) Substitution by Eq.(5.61) into Eq.(5.48) gives # # # N, p N, p N, p q p p . 5. 63 d d Remark 5.9. Note that from (5.63) by definitions follows that # # ab N, p q p . 5. 64 From Eq.(5.63) follows that # # # N, p q p p . 5. 68 d d Therefore # # p N, p q . 5. 69 d d Now we dealing with semiring , p, (see subsection 2.16.2).By consideration similarly as above we obtain # # # p N, , p q 0 , d d 5. 70 1 1 # # # p N, , p q p d d 1 and # # p N, , p q ; ,p d d d d 5. 71 ; . ,p From inequality (5.38) follows that we willin to choose p and 0 such that p ; . 5. 72 But this is a contradiction. This contradiction completed the proof of the Lemma 5.3. Remark 5.11. Note that by Definitions 2.19-2.20 and Theorem 2.18 from Assumption 5.1 and Assumption 5.2 follows # # 2 k,l ă #Ext- ă e | | . 5. 73 0 l d d l k1 Theorem 5.3.The equality (5.73) is inconsistent. Proof. The proof of the Theorem 5.3 copies in main details the proof of the Theorem 5.2. Theorem 5.3 completed the proof of the main Theorem 1.6. Part 2. 1.Introduction. 2.Axiom of nonregularity and axiom of hyper infinity. 3.Infinitary logic. 3.1.Classical infinitary logic. 3.2.Why we need infinitary logic. 4.Hyper Infinitary logics. 4.1.Bivalent Hyper Infinitary logic L with restricted rules of conclusion. 4.2.Why we need Hyper Infinitary logic. 4.3. Bivalent Hyper Infinitary first-order logic IL with restricted rules of conclusion. 5.Intuitionistic Hyper Infinitary logic with restricted rules of conclusion. 6.Set theory in Hyper Infinitary set theoretical languages. 6.1.Intuitionistic set theory INC in Hyper Infinitary set theoretical language. 6.2.Set theory NC in bivalent Hyper Infinitary set theoretical language. 7.External induction principle and hyper inductive definitions. 7.1.External induction principle in nonstandard intuitionistic arithmetic. 8.Useful examples of the hyperinductive definitions. 9.Analisys on nonarchimedian field . 9.1.Basic properties of the hyperrationals . 9.2.Countable summation from hyperfinite sum. 10.Euler’s proof of the Goldbach-Euler theorem revisited. 10.1.How Euler did it. 10.2. Proof of the Goldbach-Euler theorem using canonical nonstandard analysis. 10.3.Euler proof revisited using analisys on nonarchimedian field . 11.External induction principle and hyper inductive definitions in nonstandard analysis. 11.1.Internal induction principle in Robinson nonstandard analysis. 11.2. External induction principle in nonstandard analysis based on set theory INC . 12.Hyperinductive definitions corresponding to Robinson hyperreals . 12.1.Summation of the hyperfinite external -valued sequences. 12.2.Summation of the cauntable -valued sequences. 13.e is transcendental number. 13.1.e is #-transcendental number. 14.Generalized Lindemann-Weierstrass theorem. Appendix A.Shidlovsky quantities. Appendix B.Generalized Shidlovsky quantities. Appendix C.The Robinson transfer of the Shidlovsky quantities. 15.References. 1.Introduction In this paper intuitionistic set theory INC based on infinitary intuitionistic logic with restricted modus ponens rule is considered [1]. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered. The Goldbach-Euler theorem is obtained without any references to Catalan conjecture. 2.Axiom of nonregularity and axiom of hyperinfinity 2.1.Axiom of nonregularity Remind that a non-empty set u is called regular iff xx y xx y . 2. 1 Let’s investigate what it says: suppose there were a non-empty x such that y xx y . For any z x we would be able to get z z x. Since z x we 1 2 1 2 would be able to get z z x. The process continues forever: 3 2 . . . z z . . . z z z z x. Thus we wish to rule out such an infinite regress. n1 n 4 3 2 1 2.1.Axiom of hyper infinity. Definition 2.1.(i) A non-empty transitive non regular set u is a well formed non regular set iff: (i) there is unique countable sequence u such that n1 . . . u u . . . u u u u u, 2. 2 n1 n 4 3 2 1 (ii) for any n and any u u : n1 n u u , 2. 3 n1 where a a a. k k1 k (ii) we define a function a inductively by a a Definition 2.2. Let u and w are well formed non regular sets. We write w u iff for any w u . 2. 4 Definition 2.3. We say that an well formed non regular set u is infinite (or hyperfinite) hypernatural nuber iff: (I) For any member w u one and only one of the following conditions are satified: (i) w or (ii) w u for some n or (iii) w u. (II) Let u be a set u z|z u, then by relation a set u is densely ordered with no first element. (III) u. Axiom of hyper infinity There exists unique set such that: (i) (ii) if u is infinite (hypernatural) number then u \ (iii) if u is infinite (hypernatural) number then there exists infinite (hypernatural) number such that v u (iv) if u is infinite hypernatural number then there exists infinite (hypernatural) number such that u w (v) set \ is patially ordered by relation with no first and no last element. # In this paper we introduced a set \ of the infinite numbers axiomatically without any references to non-standard model of arithmetic via canonical ultraproduct approach, see [2]-[5]. 3.Infinitary logic. 3.1.Classical infinitary logic. By a vocabulary, we mean a set L of constant symbols, and relation and operation symbols with finitely many argument places. As usual,by an L-structure M , we mean a universe set M with an interpretation for each symbol of L. In cases where the vocabulary L is clear, we may just say structure. For a given vocabulary L and infinite cardinals μ κ, L is the infinitary logic with κ variables, conjunctions and disjunctions κμ over sets of formulas of size less than κ, and existential and universal quantifiers over sets of variables of size less than μ . All logics that we consider also have equality, and are closed under negation. The equality symbol is always available, but is not counted as an element of the vocabulary L. During last sentury canonical infinitary logic many developed, see for example [6]-[10]. 3.2.Why we need infinitary logic. It well known that some classes of mathematical structures, such as algebraically closed fields of a given characteristic, are characterized by a set of axioms in L . Other ωω classes cannot be characterized in this way, but can be axiomatized by a single sentence of L ω ω. Remark 3.1.In the practice of the contemporary model theory, and in more general mathematics as well, it often becomes necessary to consider structures satisfying certain collections of sentences rather than just single sentences. This consideration leads to the familiar notion of a theory in a logic. For example, in ordinary finitary logic, L , if φ is a sentence which expresses that there are at least n elements, then the ωω n theory φ |n ω would express that there are infinitely many elements. Similarly, in the theory of groups, if φn is the sentence xx 1, then ψ : n ω expresses that a group is torsion free. Remark 3.2.Suppose we want to express the idea that a set is finite, or that a group is torsion. A simple compactness argument would immediately reveal that neither of these notions can be expressed by a theory in L . What we need to express in each case is ωω that a certain theory is not satisfied, that is, that at least one of the sentences is false. While theories are able to simulate infinite conjunctions, there is no apparent way to simulate infinite disjunctions–which is just what is needed in this case. Example 3.1. The Abelian torsion groups are the models of a sentence obtained by taking the conjunction of the usual axioms for Abelian groups (a finite set) and the following infinite disjunction: x x x . . .x 0 . 3. 1 Example 3.2. The Archimedean ordered fields are the models of a sentence obtained by taking the conjunction of the usual axioms for ordered fields and the following infinite disjunction: x 1 1 . . .1 x . 3. 2 Example 4.3. Let L be a countable vocabulary. Let T be an elementary first order theory, and let Γx be a set of finitary formulas in a fixed tuple of variables x. The models of T that omit Γ are the models of the single L sentence obtained by taking the ω ω conjunction of the sentences of T and the following infinite disjunction: x x . 3. 3 Example 4.4. The non Archimedean ordered fields are the models of a sentence obtained by taking the conjunction of the usual axioms for non Archimedean ordered fields i.e., the following infinite conjunction: x 1 1 . . .1 x . 3. 4 4.Hyper Infinitary logics. 2 # 4.1. Bivalent Hyper Infinitary first-order logic L with restricted rules of conclusion. Hyper infinitary language L are defined according to the length of hyper infinitary conjunctions/disjunctions as well as quantification it allows. In that way, assuming a # # supply of card variables to be interpreted as ranging over a nonempty domain, one includes in the inductive definition of formulas an infinitary clause for conjunctions and disjunctions, namely, whenever the hypernturals indexed hypersequence A of formulas has length less than , one can form the hyperfinite conjunction/disjunction of them to produce a formula. Analogously, whenever an hypernaturals indexed sequence of variables has length less than , one can introduce one of the quantifiers or together with the sequence of variables in front of a formula to produce a new formula. One also stipulates that the length of any well-formed formula is less than itself. The syntax of bivalent hyperinfinitary first-order logics L consists of a (ordered) set of sorts and a set of function and relation symbols, these latter together with the # # corresponding type, which is a subset with less than card many sorts. Therefore, we assume that our signature may contain relation and function symbols on # # many variables, and we suppose there is a supply of many fresh 0 0 variables of each sort. Terms and atomic formulas are defined as usual, and general formulas are defined inductively according to the following rules:If ,, : (for each ) are formulas of L , the following are also formulas: , , , x (also written x if x x : ), x (also written x if x x : ). 2 # The axioms of hyperinfinitary first-order logic L consist of the following schemata: I. Logical axiom 1. A B A 2. A B C A B A C 3. B A A B 4. A A A A , i i i i 5. A A , i j 6. xA B A xB provided no variable in x occurs free in A; 7. xA S A where S A is a substitution based on a function f from x to the terms of the language; II.Restricted rules of conclusion. R 1.RMP (Restricted Modus Ponens). From A and A B, conclude B iff A and A B , where , 1 2 1 2 wff We abbraviate by A, A B B. RMP R 2.MT (Restricted Modus Tollens) P Q,Q P iff P and P Q , where , . RMT wff 1 2 1 2 III.Equality axioms: (a) t t (b) t t t , . . . , t , . . . t , . . . , t , . . . i 0 i 0 (c) t t Pt , . . . , t , . . . Pt , . . . , t , . . . i 0 i 0 for each , where t, t are terms and is a function symbol of arity and P a relation symbol of arity . IV.Distributivity axiom: 4. 1 ij ifi i j f i V.Dependent choice axiom: x x x 4. 2 provided the sets x are pairwise disjoint and no variable in x is free in for 4.2.Why we need hyper infinitary logic. Definition 4.1.A set S is a hyper inductive if the following statement holds S S. 4. 3 Obviously a set is a hyper inductive. As we see later there is just one hyper inductive # # subset of , namely itself. In this paper we apply the following hyper inductive definitions of the sets S S S S , 4. 4 see cection 7. Note that a statement S S 4. 5 0 cannot be expressed in finitary set theoretical language. See also section 11, subsect 11.1. 5.Intuitionistic hyper infinitary logic IL with restricted rules of conclusion. We will denote the class of hypernaturals by , the class of binary sequences of hypernatural length by 2 , and the class of sets of hypernatural numbers by . # # We fix a class of variables x for each i . Given an , a context of length is a sequence x x | j of variables. In this paper we will use boldface letters, x, y, z,, to denote contexts and light-face letters, x , y , z ,, to denote the i-th variable i i i symbol of x, y, and z, respectively. We will denote the length of a context x by lx. The formulas of the hyperinfinitary # # language of set theory INC are defined to be the smallest class of formulas # # closed under the following rules: 1. is a formula, 2.x x is a formula for any variables x and x , i j i j 3.x x is a formula for any variables x and x , i j i j 4. if and are formulas, then are formulas, 5. if is a formula for every : , then is a gyperfinite formula, 5. 1 6.if is a formula for every : , then is a gyperfinite formula, 5. 2 7. if x is a context of length , then x is a formula, and, 8. if x is a context of length , then x is a formula. By this definition, our language allows set-sized disjunctions and conjunctions as well as quantification over set-many variables at once. However, note that infinite alternating sequences of existential and universal quantifiers are excluded by this definition. Remark 5.1.Whenever it is clear from the context, we will omit the superscripts from the quantifiers and write and instead of and , respectively. In many situations it will be useful to identify a variable x with the context x x whose unique element is x such that we can write, for example, “ x” for “ x” and “x” for “x”. A variable x is called a free variable of a formula whenever x appears in but not in any quantification of . As usual, a formula without free variables is called a sentence. We say that x is a context of the formula if all free variables of are among those in x. As usual, we will write x in case that is a formula and x is a context of . Similarly, given two contexts x and y with x y for all j x and j y, we will write x, y in case that the sequence obtained by concatenating x and y is a context for . Remark 5.2. We extend the classical abbreviations as follows: Given a formula and an hypernatural we introduce the bounded quantifiers as abbreviations, namely, x y for xx y , 5. 3 and x y for xx y . 5. 4 Notation 5.1. A sequent is however equivalent to the formula x . x, The system of axioms and rules for hyperinfinitary intuitionistic first-order logic consists of the following schemata: I. Logical axiom 1. A B A 2. A B C A B A C 3. A A A A , i i i i 4. A A , i j 5. xA B A xB provided no variable in x occurs free in A. 7. xA S A where S A is a substitution based on a function f from x to the terms of the language; II.Restricted rules of conclusion. R 1.RMP (Restricted Modus Ponens). From A and A B, conclude B iff A and A B , where , 1 2 1 2 wff We abbraviate by A, A B B. RMP R 2.MT (Restricted Modus Tollens) P Q,Q P iff P and P Q , where , . RMT wff 1 2 1 2 III.Weak distributivity axiom: 5. 5 i x i i i for each . IV.Frobenius axiom: y y 5. 6 where no variable in y is in the context x. V.Structural rules: (a) Identity axiom: φ φ 5. 7 x, (b) Substitution rule: φ ψ x, 5. 8 φs/x ψs/x where y is a string of variables including all variables occurring in the string of terms s. (c) Restricted cut rule: φ ψ,ψ θ x, x, 5. 9 φ θ x, iff φ and ψ θ . 1 x, 2 IV.Equality axioms: (a) ! x x 5. 10 (b) x y φx/w φy/w 5. 11 where x, y are contexts of the same length and type and z is any context containing x, y and the free variables of φ. V.Conjunction axioms and rules: (a) φ φ 5. 12 i x, j for each and j (b) x, i 5. 13 x, i for each γ . VI.Disjunction axioms and rules: (a) 5. 14 j x, i for each (b) i x, 5. 15 i x, for each . VII. Implication rule: x, 5. 16 x, IX.Existential rule: xy 5. 17 where no variable in y is free in . X.Universal rule: xy 5. 18 where no variable in y is free in φ. 6.Set theory in hyper infinitary set theoretical languages. 6.1.Intuitionistic set theory INC in hyper infinitary set theoretical language. Axioms and basic definitions. # Intuitionistic set theory INC is formulated as a system of axioms in the same first order language as its classical counterpart, only based on intuitionistic logic IL with restricted modus ponens rule [1]. The language of set theory is a first-order language L with equality , which includes a binary symbol . We write x y for x y and x y for x y. Individual variables x, y, z, . . . of L will be understood as ranging over classical sets. The unique existential quantifier ! is introduced by writing, for any formula x, !xx as an abbreviation of the formula xx & yy x y. L will also allow the formation of terms of the form x|x, for any formula containing the free variable x. Such terms are called nonclassical sets; we shall use upper case letters A, B, . . . for such sets. For each nonclassical set A x|x and A x|x, Athe formulas xx A x 6. 1 and more general formulas xx A x, A 6. 2 is called the defining axioms for the nonclassical set A. Remark 6.1.Remind that in intuitionistic logic IL with restricted modus ponens rule the statement does not always guarantee that , 6. 3 RMP since for some and possible , " 6. 4 RMP even if the statement holds [1]. Abbreviation 6.1.We often write for the sake of brevity instead (6.3) by 6. 5 and we often write instead (6.4) by . 6. 6 Remark 6.2.Let A be an nonclassical set.Note that in set theory INC the following true formula Axx A x, A 6. 7 does not always guarantee that x A, x A x, A x, A 6. 8 RMP even if x A holds and (or) x, A,x, A x A x A; 6. 9 RMP even x, A holds, since for nonclassical set A for some y possible y A, y A y, A " y, A 6. 10 RMP and (or) y, A, y, A y A " y A. 6. 11 RMP Remark 6.3.Note that in this paper the formulas axx a x x u 6. 12 and more general formulas axx a x, a 6. 13 is considered as the defining axioms for the classical set a. Remark 6.4.Let a be an classical set. Note that in INC : (i) the following true formula ax x a x, a x u 6. 14 always guarantee that x a, x a x, a x 6. 15 RMP if x a holds and x,x x a x a; 6. 16 RMP if x holds; Remark 6.4.In order to emphasize this fact mentioned above in Remark 6.1-6.3, we rewrite the defining axioms in general case for the nonclassical sets in the following form Axx A x, A x A x, A 6. 17 s w and similarly we rewrite the defining axioms in general case for the classical sets in the following form xx a x, a x u. 6. 18 Abbreviation 6.2.We write instead (6.17) by xx A x, A 6. 19 s,w Definition 6.1. (1) Let A be a nonclassical set defined by formula (6.1) or by formula (6.2).Assum that: (i) for some y statement y and statement y y A holds and (ii) y,y y A " y A, y A, y A y " y. RMP RMP Then we say that y is a weak member of non-classical set A and abbreviate y A. Abbreviation 6.3. Let A be a nonclassical set defined by formula (6.1) or by formula (6.2). We abbreviate x A if the following statement x A x A holds, i.e. s,w s w x A x A x A. 6. 20 def s w Definition 6.2.(1) Two nonclassical sets A, B are defined to be equal and we write A B if xx A x B. (2) A is a subset of B, and we often write A B, if s,w s s,w s,v xx A x B. (3) We also write Cl. SetA for the formula s,w s s,w uxx A x u. (4) We also write NCl. SetA for the formulas xx A x and xx A x, A. s,v s,v s,v s,v Remark 6.5.Cl. SetA) asserts that the set A is a classical set. For any classical set u, it follows from the defining axiom for the classical set x|x u x that Cl. Setx|x u x . We shall identify x|x u with u, so that sets may be considered as (special sorts of) nonclassical sets and we may introduce assertions such as u A, u A, u A, etc. Remark 6.6.If A is a nonclassical set, we write x A x, A for x x A x, A and x A x, A for x x A x, A . We define now the following sets: 1.u , u , . . . , u x|x u x u . . .x u . 2. A , A , . . . , A 1 2 n 1 2 n 1 2 n x|x A x A . . .x A . 3.A x| yy A x y. 1 2 n 4. A x|yy A x y. 5.A B x|x A x B. 5.A B x|x A x B. 6.A B x|x A x B. 7.u u u. 8.PA x|x A. 9.x A|x, A x|x A x, A. 10.V x|: x x. 11. x|x x. The system INC of set theory is based on the following axioms: Extensionality1: uvxx u x v u v Extensionality2: ABxx A x B A B s,w Universal Set: NCl. SetV Empty Set: Cl. Set Pairing1: uv Cl. Setu, v Pairing2: AB NCl. SetA, B Union1: u Cl. Setu Union2: A NCl. SetA Powerset1: u Cl. SetPu Powerset2: A NCl. SetPA Infinity a a x ax a Separation1u u , . . .u a Cl. Setx a|x, u , u , . . . , u 1 2 n s 1 2 n Separation2u u , . . .u NCl. Setx A|x, A; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension1u u , . . .u Axx A x; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension 2 u u , . . .u Ax x A x, A; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension 3 u u , . . .u axx a x, a; u , u , . . . , u 1 2 n s 1 2 n Hyperinfinity: see subsection 2.1. Remark 6.7.Note that the axiom of hyper infinity follows from the schemata Comprehension 3. Definition 6.3. The ordered pair of two sets u, v is defined as usual by u, v u,u, v. 6. 21 Definition 6.4. We define the Cartesian product of two nonclassical sets A and B as usual by A B x, y|x A y B 6. 22 s,w s,w s,w Definition 6.5. A binary relation between two nonclassical sets A, B is a subset R A B. We also write aR b for a, b R. The doman domR and the s,w s,w s,w s,w range ranR of R are defined by domR x| yxR y, ranR y : xxR y. 6. 23 s,w s,w Definition 6.6.A relation F is a function, or map, written FunF , if for each s,w s,w a domF there is a unique b for which aF b. This unique b is written Fa or Fa. s,w s,w We write F : A B for the assertion that F s a function with domF A and s,w s,w s,w ranF B. In this case we write a F a for F a. s,w s,w s,w Definition 6.7.The identity map 1 on A is the map A A given by a a. If X A, A s,w the map x x : X A is called the insertion map of X into A. Definition 6.8.If F : A B and X A, the restriction F |X of F to X is the map s,w s,w s,w s,w X A given by x F x. If Y B, the inverse image of Y under F is the set s,w s,w s,w Y x A : F x Y . 6. 24 s,w s,w s,w s,w Given two functions F : A B, G : B C, we define the composite function s,w s,w G F : A C to be the function a G F a. If F : A A, we write F s,w s,w s,w s,w s,w s,w for F F , F for F F F etc. s,w s,w s,w s,w s,w s,w Definition 6.9.A function F : A B is said to be monic if for all s,w x, y A, F x F y implies x y, epi if for any b B there is a A for s,w s,w s,w s,w s,w which b F a, and bijective, or a bijection, if it is both monic and epi. It is easily s,w shown that F is bijective if and only if F has an inverse, that is, a map G : B A such that s,w s,w s,w F G 1 and G F 1 . s,w s,w B s,w s,w A Definition 6.10.Two sets X and Y are said to be equipollent, and we write X Y, if s,w there is a bijection between them. Definition 6.11.Suppose we are given two sets I, A and an epi map F : I A. Then s,w A F i|i I and so, if, for each i I, we write a for F i, then A can be s,w s,w i s,w presented in the form of an indexed set a : i I. If A is presented as an indexed i s,w set of sets X |i I, then we write X and X for A and A, respectively. i s,w i i iI iI Definition 6.12.The projection maps : A B A and : A B B are 1 s,w 2 s,w defined to be the maps a, b a and a, b b respectively. Definition 6.13.For sets A, B, the exponential B is defined to be the set of all functions from A to B. 6.2.Set theory NC in bivalent hyper infinitary set theoretical language. Set theory NC is formulated as a system of axioms in the same first order language 2 # as its classical counterpart, only based on bivalent hyper infinitary logic L with restricted modus ponens rule [1]. The language of set theory is a first-order hyper infinitary language L with equality , which includes a binary symbol . We write x y for x y and x y for x y. Individual variables x, y, z, . . . of L will be understood as ranging over classical sets. The unique existential quantifier ! is introduced by writing, for any formula x, !xx as an abbreviation of the formula xx & yy x y. L will also allow the formation of terms of the form x|x, for any formula containing the free variable x. Such terms are called non-classical sets; we shall use upper case letters A, B, . . . for such sets. For each non-classical set A x|x the formulas xx A x and xx A x, A is called the defining axioms for the non-classical set A. Remark 6.8.Remind that in intuitionistic logic IL with restricted modus ponens rule the statement does not always guarantee that , 6. 25 RMP since for some and possible , " 6. 26 RMP even if the statement holds [1]. The system NC # of set theory is based on the following axioms: Extensionality1: uvxx u x v u v Extensionality2: ABxx A x B A B s,w Universal Set: NCl. SetV Empty Set: Cl. Set Pairing1: uv Cl. Setu, v Pairing2: AB NCl. SetA, B Union1: u Cl. Setu Union2: A NCl. SetA Powerset1: u Cl. SetP u Powerset2: A NCl. SetPA Infinity a a x ax a Separation1u u , . . .u a Cl. Set x a| x, u , u , . . . , u 1 2 n s 1 2 n Separation2u u , . . .u NCl. Setx A|x, A; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension1u u , . . .u Axx A x; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension 2 u u , . . .u Axx A x, A; u , u , . . . , u 1 2 n s,w 1 2 n Comprehension 3 u u , . . .u axx a x, a; u , u , . . . , u 1 2 n s 1 2 n Hyperinfinity: see subsection 2.1. Remark 6.7.Note that the axiom of hyper infinity follows from the schemata Comprehension 3. 7.External induction principle and hyper inductive definitions. 7.1.External induction principle in nonstandard intuitionistic arithmetic. Axiom of infite -induction (i) SS n S n S S . 7. 1 (ii) Let Fx be a wff of the set theory INC , then Fn Fn nn Fn. 7. 2 # # Definition 7.1.Let be a hypernatural such that \. Let 0, be a set such that x x 0, 0 x and 0, 0, \ . Definition 7.2.(i) Let Fx be a wff of INC with unique free variable x. We will say that a wff Fx is restricted on a set S such that S iff the following conditions are F F satisfied F S 7. 3 and # # F \S . 7. 4 Definition 7.3. Let Fx be a wff of INC with unique free variable x. We will say that a wff Fx is unrestricted on variable x if wff Fx is not restricted on any set S such that S . This definition meant F " . 7. 5 Axiom of hyperfinite induction 1 \SS 0, 7. 7 0, S S S 0, . Axiom of hyper infinite induction 1 # # # SS S S S . 7. 8 Remark 7.1.Note that from comprechesion shemata 2 (see subsection 6.1) follows that SS 0, 0, S S S . 7. 9 Therefore for any 0, from (7.9) it follows that S S S. 7. 10 Thus axiom of hyperfinite induction 1,i.e., (7.6) holds, since from (7.10) it follows that 0, S. Remark 7.2.Note that from comprechesion shemata 2 (see subsection 6.1) it follows that # # S S S S S . 7. 11 Therefore for any from (7.11) it follows that S S S 7. 12 Thus axiom of hyper infinite induction 1, i.e., (7.8) holds, since it follows from (7.12) that S. Axiom of hyperfinite induction 2 Let Fx be a wff of the set theory INC restricted on a set 0, then \ F F 0,F. 7. 11 Axiom of hyper infinite induction 2 Let Fx be unrestricted wff of the set theory INC then # # F F F. 7. 12 Remark 7.3.Note that from comprechesion shemata 2 (see subsection 6.1) follows that S S 0, 0, S F F . 7. 13 Therefore for any 0, from (7.13) it follows that F F S 7. 14 Thus axiom of hyperfinite induction 2,i.e., (7.13) holds, since it follows from (7.16) that 0, S. Remark 7.4.Note that from comprechesion shemata 2 (see subsection 6.1) follows that # # SS S F F . 7. 15 Therefore for any from (7.15) it follows that F F S. 7. 16 Thus axiom of hyper infinite induction 2,i.e., (7.12) holds, since From (7.16) it follows that S . Axiom of hyperfinite induction 3 Let Fx be a wff of the set theory INC restricted on inductive set W such that # ind W then ind W W F F W F. 7. 17 ind ind ind Proposition 7.1. (a) For any natural or hypernatural number k , x m x k. 7. 18 0mk (a ) For any hypernatural number к and any wff B Bm xx k Bx. 7. 19 0mk (b) For any hypernatural number k such that k 0, x m 1 x k. 7. 20 1mk (b ) For any hypernatural number k such that k 0 and any wff B x , B m x x k B x . 7. 21 0mk1 (c) xx y Bx xx y Ex xBx Ex. Proof. (a) We prove x m x k by hyperfinite induction in the 0mk metalanguage on k. The case for k 0, x 0 x 0, is obvious from the definitions. Assume as inductive hypothesis that x m x k. 7. 22 0mk Now assume that x m x k 1. 7. 25 0mk But x k 1 x k 1 and, by the inductive hypothesis, x m. 7. 26 0mk Also x k x k 1. Thus, x k 1. So, x m x k 1. 7. 27 0mk1 Conversely, assume x k 1. Then x k 1 x k 1. If x k 1, then x m. 7. 28 0mk1 If x k 1, then we have x k. By the inductive hypothesis, x m 7. 29 0mk and,therefore, x m. 7. 30 0mk1 Thus in either case, x m. 7. 31 0mk1 This proves x k 1 x m . 7. 32 0mk1 From the inductive hypothesis, we have derived x m x k 1 7. 33 0mk1 and this completes the proof. Note that this proof has been given in an informal manner that we shall generally use from now on. In particular, the deduction theorem, the replacement theorem, and various rules and tautologies will be applied without being explicitly mentioned. Parts (a ), (b), and (b ) follow easily from part (a). Part (c) follows almost immediately from the statement t r t r r t , using obvious tautologies. There are several stronger forms of the hyperinfinite induction principles that we can prove at this point. Theorem 7.1.(Complete hyperinfinite induction) Let B x be anrestricted wff of the set theory INC then # # xx zz x Bz Bx xx Bx 7. 34 In ordinary languageI consider a property Bx such that, for any x, if Bx holds for all hypernatural numbers less than x, then B x holds for x also. Then B x holds for all hypernatural numbers x . Proof.Let Ex be a wff zz x Bz. (i) 1.Assume that xx zz x Bz Bx, then 2.zz 0 Bz B0 it follows from 1. 3. z # 0, then 4. zz 0 Bz it follows from 1, 5. B0 it follows from 2,4 by MP 6. z z 0 B z i.e.,E 0 holds it follows from Proposition7.1(a ) 7.xx zz x Bz Bx E0 it follows from 1,6 by MP (ii) 1.Assume that: xx zz x Bz Bx. 2.Assume that: E x $ z z x B z , then 3.zz x Bz it follows from 2 since z x z x . 4.xx zz x Bz Bx it follows from 1 by rule A4:if t is free for x in Bx, then xBx Bt. 5. Bx it follows from 3,4 by unrestricted MP rule. 6. z x z x z x it follows from definitions. 7. z x B z it follows from 3 by rule A4. 8. z x Bz it follows from 5. 9. Ex $ zz x Bz it follows from 6,7,8,rule Gen. # # 10.xx zz x Bz Bx xx Ex Ex it follows from 1,9 by deduction theorem,rule Gen. Now by (i), (ii) and the induction axiom, we obtain D xx Ex that is # # D xx zz x Bz, where D $ xx zz x Bz Bx. Hence, by rule A4 twice, D x x Bx. But x x. So,D Bx , and, by Gen and the deduction theorem, D xx Bx. Theorem 7.2.(Complete hyperfinite induction) Let Bx be wff of the set theory INC strongly restricted on inductive set W such that W then # ind ind xx W zz x Bz Bx xx W Bx 7. 35 ind ind Proof. Similarly as Theorem 7.1. Remark 7.5.Remind that the following statement holds in standard bivalent arithmetic [11]:Least-number principle (LNP) xBx yBy zz y Bz. 7. 36 In ordinary language:if a property expressed by wff Bx holds for some natural number n, then there is a least number satisfying Bx.Obviously LNP (7.23) is not holds in nonstandard arithmetic, since there is no a least number in a set \. Theorem 7.3.(Weak least-number principle) Let Bx be a wff of the set theory # # INC such that a wff Bx restricted on inductive set W such that W # ind ind and W \W then ind ind x x W Bx ind 7. 37 y y W By zz y Bz yy W By ind ind Proof.We assume now that 1. y y W By zz y Bz ind 2.y y W By zz y Bz it follows from 1. ind % 3.y y W zz y Bz Byit follows from 2 by tautology. ind 4.y y W B y it follows from 3 by Theorem 7.2 with wff B y instead wff B y ind 5. y y W By zz y Bz yy W By it follows from ind ind 1,4. Remark 7.6.Note that: (i) the statement I : yy W By y y W By zz y Bz ind ind is unprovable in INC from the statement II : y y W By zz y Bz yy W By ind ind II : y y W By zz y Bz yy W By ind ind since the law of contraposition is not holds in intuitionistic hyperinfinitary logic L ; (ii) similarly it unprovable in NC by the restricted modus ponens rule. Example 7.1. We set now W and By y . The statement (I) reads ind # # # I : y y y y y B y z z y z and the statement (II) reads # # # # II : yy y zz y z yy y . Note that the statement I is unprovable in INC from the statement II since the law of contraposition is not holds in intuitionistic hyperinfinitary logic L ; Hyper inductive definitions in general. # # A function f : A whose domain is the set is colled an hyper infinite sequence and denoted by f # or by fn # The set of all hyperinfinite sequences whose n n terms belong to A is clearly A ; the set of all hyperfinite sequences of n \ terms in A is A . The set of all hyperfinite sequences with terms in A can be defined as R A : R is a function D R n , 7. 38 where D R is domain of R. This definition implies the existence of the set of all hyperfinite sequences with terms in A. The simplest case is the inductive definition of a hyperinfinite sequence n (with terms belonging to a certain set Z) satisfying the following conditions: (a) 0 z,n en, n, 7. 39 where z Z and e is a function mapping Z into Z. More generally, we consider a mapping f of the cartesian product Z A into Z and seek a function Z satisfying the conditions : (b) 0, a ga,n , a fn, a, n, a, 7. 40 where g Z . This is a definition by induction with parameter a ranging over the set A. Schemes (a) and (b) correspond to induction “from n to n n 1”,i.e. n or n , a depends upon n or n, a respectively. More generally, n may depend upon all values m where m n (i.e. m n ). In the case of induction with parameter, n , a may depend upon all values m, a, where m n; or even upon all values m, a, where m n and b A. In this way we obtain the following schemes of definitions by hyper infinite induction: (c) 0 z,n h|n , n, (d) 0, a ga, n , a H| n A , n, a. In the scheme (c), z Z and h Z , where C is the set of hyperfinite sequences A T A whose terms belong to Z; in the scheme (d), g Z and H Z , where T is the set of functions whose domains are included in A and whose values belong to Z. It is clear that the scheme (d) is the most general of all the schemes considered above. By coise of functions one obtains from (d) any of the schemes (a)-(d). For example, # A taking the function defined by Hc, n, a fcn, a, n, a for a A, n , c Z as H in (d), one obtain (b). We shall now show that, conversely, the scheme (d) can be A T A obtained from (a). Let g and H be functions belonging to Z and Z respectively, and let be a function satisfying (d). We shall show that the sequence with n # |n , A can be defined by (a).Obviously, T for every n . The first term of n n the sequence is equal to | 0 , A , i.e. to the set: z 0, a , g a |a A . The relation between , and is given by the formula: |n A, where the second n n n n component is n , a,n , a|a A n , a, H , n, a|a A. 7. 41 Thus we see that the sequence can be defined by (a) if we substitute T for Z, z for z and let ec, n c n , a, Hc, n, a|a A for c T. Now we shall prove the existence and uniqueness of the function satisfying (a). This theorem shows that we are entitled to use definitions by induction of the type (a). According to the remark made above, this will imply the existence of functions satisfying the formulas (b), (c), and (d). Since the uniqueness of such functions can be proved in the same manner as for (a), we shall use in the sequel definitions by induction of any of the types (a)-(d). Theorem 7.4. If Z is any set z Z and e Z , then there exists exactly one hyper infinite sequence satisfying formulas (a). Proof. Uniqueness. Suppose that n and n satisfy (a) and let # # 1 2 n n K n|n n n 7. 42 1 2 Then (a) implies that K is hyperinductive. Hence K and therefore n $ n. 1 2 Existence. Let z, n, t be the formula ez, n t and let w, z, F be the following formula: F is a function D F n F0 z F m, m, F m . 7. 43 n 1 n n mn In other words, F is a function defined on the set of numbers n such that F0 z and Fm eFm, m for all m n . Remark 7.7.We assume now that predicate w, z, F is unrestricted on variable n , see Definition 7.3. We prove by induction that there exists exactly one function F such that n, z, F . n n The proof of uniqueness of this function is similar to that given in the first part of Theorem 7.4. The existence of F can be proved as follows: for n 0 it suffices to take 0, z as F ; if n and F satisfies n, z, F , then F n n n n F n , eF n, n n n satisfies the condition n , z, F . Now, we take as the set of pairs n, s such that n , s Z and Fn, z, F s Fn. 7. 44 Since F is the unique function satisfying n, z, F, it follows that is a function. For n 0 we have 0 F 0 z; if n , then n F n eF n, n by the 0 n n definition of F ; hence we obtain n e0, n. Theorem 7.4 is thus proved. We frequently define not one but several functions (with the same range Z) by a simultaneous induction: 0 z, 0 t, n fn,n, n, n gn,n, n ZZ where z, t Z and f, g Z . This kind of definition can be reduced to the previous one. It suffices to notice that the hypersequence n,n satisfies the formulas: z, t, e , n, where n 0 n n we set eu, n fKu, Lu, n, gKu, Fw, n , 7. 45 and K, L denote functions such that Kx, y and Lx, y y respectively. Thus the function is defined by induction by means of (a). We now define and by n K ,n L . n n Remark 7.8.We assume now that predicate w, z, F is restricted on variable n , on a set 0,, see Definition 7.2, then there exists exactly one hyperfinite sequence satisfying formulas (a). The theorem 7.4 on hyper inductive definitions can be generalized to the case of operations. We shall discuss only one special case. Let z, n, t be a formula such that znn t t z, n, t z, n, t t t . 7. 46 1 2 1 2 1 2 Theorem 7.5. For any set S there exists exactly one hyperinfinite sequence , n such that S and nn , n, . 7. 47 n n Proof. Uniqueness can be proved as in Theorem 7.4 above. To prove the existence of , let us consider the following formula n, S, F : F is a functionD F n F0 S mm nFm, m, Fm , 7. 48 where D F is domain of F. As in the proof of Theorem 7.4, it can be shown that there exists exactly one function F such that n, S, F . To proceed further we must make certain that there exists a n n set containing all the elements of the form F n where n . (In the case considered in Theorem 7.4 this set is Z for the domain of the last variable of the formula Ф which we used in the proof of Theorem 7.4 was limited to the set Z. ) In the case under consideration, the existence of the required set Z follows from the axiom of replacement. In fact, the uniqueness of F implies that the formula F n, S, F y F n 7. 49 n n n satisfies the assumption of axiom of replacement. Hence by means of axiom of # replacement the image of obtained by this formula exists. This image is the required set Z containing all the elements F n. The remainder of the proof is analogous to that of Theorem 7.4. Example 7.1. Let S, t be the formula t PS. Thus for any set S there exists exactly one hyper infinite sequence # such that S and P for n 0 n n every number n . 8.Useful examples of the hyper inductive definitions. 1.Addition operation of hypernatural numbers # # # The function m, n m n : is defined by m 0 m, m n m n . This definition is obtained from (b) by seting Z A , ga a, fp, n, a p . This function satisfies all properties of addition such as: for all m, n, k (i) m 0 m (ii) m n n m (iii) m n k m n k. 2.Multiplicattion operation of gypernatural numbers # # # The function m, n m n : is defined by m 1 1, m n m n m. (i) m 1 1 (ii) m n n m (iii) m n k m n k. 4.Distributivity with respect to multiplication over addition. m n k m n m k. 5. Let Z A X , ga I , fu, n, a u a in (b). Then (b) takes on the following form 0, a I ,n , a n, a a. 8. 1 The function n, a is denoted by a and is colled n-th iteration of the function a : 0 n n X # a x x, a x a ax, x X, a X , n . 8. 2 6.Let A , ga a , fu, n, a u a . Then (b) takes on the following form 0 n 0, a a ,n , a n, a a 8. 3 0 n The function is defined by the Eqs.(8.3) is denoted by a 8. 4 i0 7.Let A , ga a , fu, n, a u a . Then (b) takes on the following form 0 n 0, a a ,n , a n, a a 8. 5 0 n The function is defined by the Eqs.(8.5) is denoted by a 8. 6 i0 8. Similarly we define max a , min a , n . in i in i Theorem 8.1. The following equalities holds for any n, k , l : 1 1 (1) using distributivity n n b a b a 8. 7 i i i0 i0 (2) using commutativity and associativity n n n a b a b 8. 8 i i i i i0 i0 i0 (3) splitting a sum, using associativity n j n a a a 8. 9 i i i i0 i0 ij1 (4) using commutativity and associativity, again k l l k 1 1 1 1 a a 8. 10 ij ij ik jl jl ik 0 0 0 0 (5) using distributivity n n n n a b a b 8. 11 i j i j i0 j0 i0 j0 (6) n n n a b a b 8. 12 i i i i i0 i0 i0 (7) n n a a 8. 13 i0 i0 Proof. Imediately from Theorem 7.4 and hyperinfinite induction principle. Definition 8.1.A non-empty non regular sequence u is a blok corresponding to gyperfinite number u u \ iff there is gyperfinite number u such that . . . u u . . . u u u u u and the following conditions are n1 n 4 3 2 1 satisfied . . . u u . . . u u u u u u u . . . u u . . . 8. 14 n1 n 4 3 2 1 1 2 n n1 where for any n : u u , where u u . n1 n n n1 Thus beginning with an infinite integer u \ we obtain a block (8.20) of infinite integers.However, given a “block,” there is another block consisting of even larger infinite integers. For example, there is the integer u u, where u k u u for each k . And v u u is itself part of the block: . . . v 3 v 2 v 1 v v 1 v 2 . . . 8. 15 Of course, v v u v v, and so forth. There are even infinite integers u u and u , and so forth.Proceeding in the opposite direction, if u \, either u or u 1 is of the form v v. Here v must be infinite. So there is no first block, since v u. In fact, the ordering of the blocks is dense. For let the block containing v precede the one containing u, that is, v 2 v 1 v v 1 . . .. . . u 2 u 1 u u 1 . . . 8. 16 Either u v or u v 1 can be written z z where v k z u l for all k, l . To conclude our consideration: consists of as an initial segment followed by an ordered set of blocks. These blocks are densely ordered with no first or last element. Each block is itself order-isomorphic to the integers 3,2,1, 0, 1, 2, 3, 8. 17 # # Although \ is a nonempty subset of , as we have just seen it has no least element and likewise for any block. 9.Analisys on nonarchimedian field . 9.1.Basic properties of the hyperrationals . Now that we have the hypernatural numbers, defining hyperintegers and hyperrational numbers is well within reach. # # Definition 9.1. Let Z . We can define an equivalence relation on Z by a, b c, d if and only if a d b c. Then we denote the set of all hyperintegers by Z / (The set of all equivalence classes of Z modulo ). # # # # Definition 9.2. Let Q 0 a, b |b 0. We can define an equivalence relation on Q by a, b c, d if and only if a d b c. Then we denote the set of all hyperrational numbers by Q / (The set of all equivalence classes of Q modulo ). Definition 9.3. A linearly ordered set P, is called dense if for any a, b P such that a b, there exists z P such that a z b. Lemma 9.1. , is dense. Proof. Let x a, b, y c, d be such that x y. Consider z ad bc, 2bd It is easily shown that x z y. Remark 9.1.Consider the ring B of all limited (i.e. finite) elements in . Then B has a unique maximal ideal I , the infinitesimal numbers. The quotient ring B/I gives the field of the classical real numbers. 1.Let A , ga a , fu, n, a u a . Then (b) takes on the following form 0 n 0, a a ,n , a n, a a 9. 1 0 n The function is defined by the Eqs.(9.1) is denoted by a . 9. 2 i0 2.Let A , ga a , fu, n, a u a . Then (b) takes on the following form 0 n 0, a a , n , a n, a a 9. 3 0 n The function is defined by the Eqs.(9.3) is denoted by. a . 9. 3 i0 9.2.Countable summation from hyperfinite sum. Definition 9.1. Let a be -valued countable sequence. Let a be any n n n k # # hyperfinite sequence with m \ and such that a 0 if n \. Then we define summation of the countable sequence a by the following hyperfinite sum n m a 9. 4 nk and denote such sum by the symbol a . 9. 5 nk Remark 9.2. Let a be -valued countable sequence. Note that: (i) for canonical summation we always apply standard notation a . 9. 6 nk (ii) the countable sum ( -sum ) (9.5) in contrast with (9.6) abviously always exists even if a series (9.6) diverges absolutely i.e., |a | . nk 1 # 1 Example 9.1. The -summ exists by Theorem 8.1, however . n n n1 n1 Theorem 9.3. Let a A and b B, where A, B, C . Then n n nk nk C a C a 9. 6 n n nk nk and a b A B. 9. 7 n n nk Proof. It follows from Theorem 8.2. Example 9.2. Consider the countable sum S r r ,1 r 1. 9. 5 n0 It follows from (9.5) n n S r 1 r 1 r r 1 rS r 9. 6 n1 n0 Thus S r . 9. 7 1 r Remark 9.3. Note that n n S r r r 9. 8 n0 n0 since as we know n n 1 S r lim r r . 9. 9 1 r n0 n0 Definition 9.2.An element x is called finite if x r for some r , r 0. | | # # Abbreviation 9.1.For x we abbreviate x if x is finite. fin Remark 9.4. Let x be finite. Let D , be the set of r such that r x and D 1 2 the set of r such that x r . The pair D , D forms a Dedekind cut in , hence 1 2 d determines a unique r . A simple argument shows that |x r | is infinitesimal, 0 d 0 i.e., |x r | 0. Definition 9.3.This unique r is called the standard part of x and is denoted by x. Theorem 9.4. If x , then x x; if x, y are both finite, then x y x y, x y x y. 9. 10 Definition 9.4.Let a be countable -valued sequence. We say that a sequence fin i0 a converges to standard limit a and abbreviate a st-lim a if for every i d i i i0 0, 0 there is an integer N such that |a a| if i N. # # Theorem 9.5. Let a , n \ be a hyperfinite -valued sequence such that: i0 fin (i) a a for any i n and (ii) for any m n : Ext- a , then | | i i i fin i0 n n Ext- a Ext-a . 9. 11 i i i0 i0 Proof. From Eq.(9.10) by the condition (ii) and hyper infinite induction we get n n Ext- a Ext- a . 9. 12 i i i0 i0 From Eq.(9.12) by the condition (i) we obtain Eq.(9.11). Theorem 9.6. Let a be a countable -valued sequence, i.e. a a for any i i i i n and |a | , thus there exists st-lim a , then i m i i0 i0 Ext- a $ Ext- a a . 9. 13 i i i i0 i0 i0 Proof. It follows directly from Theorem 9.5 for the case if for any i \ : a $ 0. Theorem 9.7. Let b , be a countable -valued sequence such that i0 lim |b | exists.Then m i i0 b $ Ext- b . 9. 14 i i i0 i0 Proof. It follows directly from Theorem 9.6 and Eq.(9.13). 10.Euler’s proof of the Goldbach-Euler theorem revisited. Theorem 10.1. (Goldbach-Euler theorem 1738)[12]-[13]. This infinite series, continued to infinity, 1 1 1 1 1 1 1 1 . . . 10. 1 3 7 8 15 24 26 31 35 the denominators of which are all numbers which are one less than powers of degree two or higher of whole numbers, that is, terms which can be expressed with the formula m 1 , where m and n are integers greater than one, then the sum of this series is 10.1.How Euler did it. th Euler’s proof begins with an 18 century step that treats any infinite sum as a real number which may be infinite large. Such steps became unpopular among rigorous mathematicians about a hundred years later. Euler takes to be the sum of the harmonic series 1 1 1 1 1 1 1 1 1 1 . . . . 10. 2 2 3 4 5 6 7 8 9 n1 Next, Euler subtracts from Eq.(10.2) the geometric series 1 1 1 1 1 1 1 . . . 10. 3 2 2 4 8 16 32 n1 leaving 1 1 1 1 1 1 1 1 . . . 10. 4 3 5 6 7 9 10 Subtract from Eq.(10.4) geometric series 1 1 1 1 1 1 . . . 10. 5 2 3 9 27 81 243 leaving 1 1 1 1 1 1 1 1 . . . 10. 6 2 5 6 7 10 11 Subtract from Eq.(10.6) geometric series 1 1 1 1 . . . 10. 7 4 25 125 leaving 1 1 1 1 1 1 1 . . . 10. 8 2 4 6 7 10 Remark 10.1.Note that Euler had to skip subtracting the geometric series 1 1 1 1 1 . . . 10. 9 3 4 16 64 256 because the series of powers of 1/4 on the right is already a subseries of the series of powers of 1/2, so those terms have already been subtracted. This happens because 3 is one less than a power, 4. It happens again every time we reach a term one less than a power. He will have to skip 7, because that is one less than the cube 8, and 8 because it is one less than the square 9, 15 because it is one less than the square 16, etc. Continuing formally in this way to infinity, we see that all of the terms on the right except the term 1 can be eliminated, leaving 1 1 1 1 1 1 . . . 1. 10. 10 2 4 5 6 9 Thus 1 1 1 1 1 1 1 . . . 1 10. 11 2 4 5 6 9 10 so 1 1 1 1 1 1 1 1 . . . 10. 12 2 4 5 6 9 10 Remark 10.2.Note that it gets just a little bit tricky. Since is sum of the harmonic series, Euler believes that the 1 on the left must equal the terms of the harmonic series that are missing on the right. Those missing terms are exactly the ones with denominators one less than powers, so finally Euler concludes that 1 1 1 1 1 1 1 1 1 . . . 10. 13 3 7 8 15 24 26 31 35 where the terms on the right have denominators one less than powers. 10.2. Proof of the Goldbach-Euler theorem using canonical analysis. We reproduce the proof here for the sake of completeness. Lemma 1. For any positive integers n and k with 2 n k 1/n 1 1/n 1n 1/nn 1 ···1/k 1k 1/k Lemma 2. For any positive integers n and k with n 2 2 k k 1/n 1 1/n 1/n ···1/n 1/n n 1 We let denote the n-th harmonic number by H : H 1 1/2 1/3 . . .1/n, 10. 14 but we now think of n as either a finite natural number or an infinite nonstandard k k 1 2 2 natural number. Let k be defined by 2 n 2 . The existence and uniqueness of k 2 2 is clear either if we think of n as a finite natural number or as a nonstandard natural number: remember the transfer principle. Using Lemma 2, we can write 2 3 k k 2 2 1 1/2 1/2 12 ···1/2 1/2 ·1, and subtracting this series from (9.14), we obtain H 1 1 1/3 1/5 1/6 1/7 1/9 ··· 1/n 1/2 ·1. 10. 15 Hence, all powers of two, including two itself, disappear from the denominators, leaving the rest of integers up to n. If from (10.15) we subtract 2 3 k k 3 3 1/2 1/3 13 1/3 ··· 1/3 1/3 ·2, 10. 16 k k 1 3 3 again obtained from Lemma 2 with k defined by 3 n 3 , the result will be k k 2 3 H 1 1/2 1 1/5 1/6 1/7 1/10 ··· 1/n 1/2 ·1 1/3 ·2. 10. 17 Proceeding similarly we end up by deleting all the terms that remain,arriving finally at H 1 1/2 1/4 1/5 1/6 1/7 1/10 ··· 1/n 10. 18 k k 2 3 1 1/2 ·1 1/3 ·2 ··· 1/n·n 1. Notice that k k ···.In fact,when m n we get k 1. This last expression has 2 3 m been obtained assuming that n is a nonpower. If n is a power, then 1/n will have disappeared at some stage of this process,and the last fraction to beremoved from(10.17) will be 1/n 1, whose denominator is a nonpower unless n 9. (This is Catalan’s conjecture that 8 and 9 are the only consecutive powers that exist. The conjecture was recently proved by Miha ilescu [14]. In fact, it does not matter here whether there are more consecutive powers or not.) The corresponding expression will thus be H 1 1/2 1/4 1/5 1/6 1/7 1/10 ··· 1/n 1 10. 19 k k 2 3 1 1/2 ·1 1/3 ·2 ··· 1/n 1·n 2. Consequently, if we subtract (10.18) from (10.14) we obtain k k 2 3 1 1/2 ·1 1/3 ·2 ··· 1/n·n 1 10. 20 1/3 1/7 1/8 1/15 1/24 1/26 ··· 1/n 1 or, correspondingly subtracting (10.19) from (10.14), 1 12k ·1 13k ·2 ··· 1/n 1n 2 2 3 10. 21 1/3 1/7 1/8 1/15 1/24 1/26 ··· 1/n, sums that containin their denominators,increased by one,all the power so fthe integers up to n. We must now take care of the “remainder,” that is, the expression between parentheses above or on the right-hand side of (10.17) (respectively, (10.19)). k m1 2k m Since for each m 2 we know by the definition of k that n m m , it follows that n m and 1/m ·m 1 1/ n m 1. 10. 22 This implies that k k 2 3 1/2 ·1 1/3 ·2 ··· 1/n·n 1 H / n 10. 23 n1 or, if n is a power, k k 2 3 1/2 ·1 1/3 ·2 ··· 1/n 1·n 2 H / n 1 . 10. 24 n2 If we have chosen to regard n as a finite integer then we can pass to the limit and use Euler’s asymptotic value for H : lim H / n lim logn 1 γ/ n 0. The n n n1 n proof is now complete. 10.3.Euler proof revisited using elementary analysis on nonarchimedian field . We replace Eq.(10.2) by 1 1 1 1 1 1 1 1 1 1 . . . . , 10. 22 2 3 4 5 6 7 8 9 n1 where we write symbolically for convenience 1 1 1 1 1 1 1 1 1 1 . . . . instead -sum . 2 3 4 5 6 7 8 9 n1 Remark 10.3.Remind that -sum is defined as hyperfinite sum a , n1 n1 1 # where a n if n and a 0 if n \. n n Remark 10.4.Note that \. Subtract from Eq.(10.22) the -sum 1 1 1 1 1 1 1 . . . 10. 23 2 2 4 8 16 32 n1 using Theorem 9.3 we obtain 1 1 1 1 1 1 1 1 1 1 . . . . 2 3 4 5 6 7 8 9 1 1 1 1 1 10. 24 . . . 2 4 8 16 32 1 1 1 1 1 1 1 . . . . 3 5 6 7 9 10 Subtract from Eq.(10.24) the -sum 1 1 1 1 1 1 1 . . . 10. 25 2 3 3 9 27 81 243 n1 using Theorem 9.3 we obtain 1 1 1 1 1 1 1 1 1 . . . 2 3 5 6 7 9 10 1 1 1 1 1 10. 26 . . . 3 9 27 81 243 1 1 1 1 1 1 . . . . 5 7 6 10 11 Subtract from Eq.(10.26) the -sum 1 1 1 1 . . . 10. 27 4 5 25 125 using Theorem 9.3 we obtain 1 1 1 1 1 1 1 . . . 10. 28 2 4 6 7 10 Remark 10.5.Note that in calculation above we had skip subtracting the -sum (see Remark 9.1) 1 1 1 1 1 . . . 10. 29 3 4 16 64 256 because the series of powers of 1/4 on the right is already a subseries of the -sum (10.23) of powers of 1/2, so those terms have already been subtracted. This happens because 3 is one less than a power, 4. It happens again every time we reach a term one less than a power. He will have to skip 7, because that is one less than the cube 8, and 8 because it is one less than the square 9, 15 because it is one less than the square 16, etc. Continuing in this way to gyperfinite number m \ by using gyperfinite induction principle, we see that all of the terms on the right except the term 1 can be eliminated. Thus by Theorem 9.3 and Remark 10.5 we obtain 1 1 1 1 1 1 1 . . . 2 4 5 6 9 10 1 1 1 1 1 1 1 1 . . . . 10. 30 2 3 4 5 6 7 8 9 n2 From Eq.(10.30) we obtain 1 1 1 1 1 1 1 . . . 1. 10. 31 2 4 5 6 9 10 Finally we get 1 1 1 1 1 1 1 1 1 . . . , 10. 32 3 7 8 15 24 26 31 35 where the terms on the right have denominators one less than powers. From Eq.(10.32) by Theorem 9.7 we obtain 1 1 1 1 1 1 1 1 1 . . . , 10. 33 3 7 8 15 24 26 31 35 where the terms on the right have denominators one less than powers. Note that Eq.(10.33) now is obtained without any references to Catalan conjecture [13],[14]. 11.External induction principle and hyper inductive definitions in nonstandard analysis. 11.1.Internal induction principle in Robinson nonstandard analysis. Remind that in Robinson nonstandard analysis [2]-[5] each member of P is colled to be an internal subset of ; any other subset of is colled an external subset of . The importance of internal sets versus external sets rests on the theorem which says that each statement which is true for is true for if and only if its quantifiers are restricted on internal subset of . Thus the induction postulate reads SS P1 S xx S x 1 S S . 11. 1 Remind that a set S is inductive if 1 S xx S x 1 S. The induction postulate (11.1) is not holds for inductive set S which is not internal. For example the induction postulate (11.1) is not holds for inductive set S since . We emphasize that in contrast with ZFC in set theory INC notion of internal subset of is not important since the induction postulate (11.1) holds for any hyper inductive set S which is not initially defined as internal. Definition 11.1.A set S is a hyper inductive if the following statement holds S S. 11. 2 Obviously a set is a hyper inductive. As we see later there is just one hyper inductive subset of , namely itself. 11.2.External induction principle in nonstandard analysis based on set theory INC . Definition 11.2.Let be a hypernatural such that \. Let 0, be a set such that xx 0, 0 x and 0, 0,\. Definition 11.3.(i) Let F x be a wff of INC with unique free variable x. We will say that a wff F x is restricted on a set S such that S iff the following conditions are F F satisfied F S 11. 3 and F \S . 11. 4 Definition 11.4. Let Fx be a wff of INC with unique free variable x. We will say that wff Fx is unrestricted on variable x if wff Fx is not restricted on any set S such that S . This definition meant F " . 11. 5 Axiom of hyperfinite induction 1 \SS 0, 11. 6 0, S S S 0, . Axiom of hyper infinite induction 1 SS S S S . 11. 6 Remark 11.1.Note that from comprechesion shemata 2 (see subsection 6.1) follows that SS 0, 0, S S S . 11. 7 Therefore for any 0, from (11.7) it follows that S S S. 11. 8 Thus axiom of hyperfinite induction 1,i.e., (11.5) holds, since from (11.8) it follows that 0, S. Remark 11.2.Note that from comprechesion shemata 2 (see subsection 6.1) follows that SS S S S . 11. 9 Therefore for any from (11.9) it follows that S S S 11. 10 Thus axiom of hyperinfinite induction 1, i.e., (7.6) holds, since it follows from (7.10) that S. Axiom of hyperfinite induction 2 Let Fx be a wff of the set theory INC restricted on a set 0, then \ F F 0,F. 11. 11 Axiom of hyper infinite induction 2 Let Fx be unrestricted wff of the set theory INC then F F F. 11. 12 Remark 11.3.Note that from comprechesion shemata 2 (see subsection 6.1) follows that SS 0, 0, S F F . 11. 13 Therefore for any 0, from (11.13) it follows that F F S 11. 14 0 Thus axiom of hyperfinite induction 2,i.e., (11.12) holds, since it follows from (11.14) that 0, S. 12.Hyper inductive definitions corresponding to Robinson hyperreals . 12.1.Hyper inductive definitions corresponding to Robinson hyperreals in general. A function f : A whose domain is the set is colled an hyper infinite sequence and denoted by f or by fn The set of all hyper infinite sequences whose n n terms belong to A is clearly A ; the set of all hyperfinite sequences of n \ terms in A is A . The set of all hyperfinite sequences with terms in A can be defined as R A : R is a function D R n , 12. 1 where D R is domain of R. This definition implies the existence of the set of all hyperfinite sequences with terms in A. The simplest case is the hyper inductive definition of a hyperinfinite sequence n (with terms belonging to a certain set Z) satisfying the following conditions: (a) 0 z,n en, n, 12. 2 where z Z and e is a function mapping Z into Z. More generally, we consider a mapping f of the cartesian product Z A into Z and seek a function Z satisfying the conditions : (b) 0, a ga,n , a fn, a, n, a, 12. 3 where g Z . This is a definition by induction with parameter a ranging over the set A. Schemes (a) and (b) correspond to induction “from n to n n 1”,i.e. n or n , a depends upon n or n, a respectively. More generally, n may depend upon all values m where m n (i.e. m n ). In the case of induction with parameter, n , a may depend upon all values m, a, where m n; or even upon all values m, a, where m n and b A. In this way we obtain the following schemes of definitions by induction: (c) 0 z,n h|n , n, (d) 0, a ga, n , a H| n A , n, a. In the scheme (c), z Z and h Z , where C is the set of hyperfinite sequences A T A whose terms belong to Z; in the scheme (d), g Z and H Z , where T is the set of functions whose domains are included in A and whose values belong to Z. It is clear that the scheme (d) is the most general of all the schemes considered above. By coise of functions one obtains from (d) any of the schemes (a)-(d). For example, taking the function defined by Hc, n, a fcn, a, n, a for a A, n , c Z as H in (d), one obtain (b). We shall now show that, conversely, the scheme (d) can be A T A obtained from (a). Let g and H be functions belonging to Z and Z respectively, and let be a function satisfying (d). We shall show that the sequence with n # |n , A can be defined by (a).Obviously, T for every n . The first term of n n the sequence is equal to |0 , A, i.e. to the set: z 0, a, ga|a A. The relation between , and is given by the formula: |n A, where the second n n n n component is n , a,n , a|a A n , a, , H , n, a|a A. 12. 4 Thus we see that the sequence can be defined by (a) if we substitute T for Z, z for z and let ec, n c n , a, Hc, n, a|a A for c T. Now we shall prove the existence and uniqueness of the function satisfying (a). This theorem shows that we are entitled to use definitions by induction of the type (a). According to the remark made above, this will imply the existence of functions satisfying the formulas (b), (c), and (d). Since the uniqueness of such functions can be proved in the same manner as for (a), we shall use in the sequel definitions by induction of any of the types (a)-(d). Theorem 12.1. If Z is any set z Z and e Z , then there exists exactly one hyper infinite sequence satisfying formulas (a). Proof. Uniqueness. Suppose that n and n satisfy (a) and let 1 2 n n K n|n n n 12. 5 1 2 Then (a) implies that K is hyperinductive. Hence K and therefore n $ n . 1 2 Existence. Let z, n, t be the formula ez, n t and let w, z, F be the following formula: F is a function D F n F0 z Fm, m, Fm . 12. 6 mn In other words, F is a function defined on the set of numbers n such that F0 z and Fm eFm, m for all m n . Remark 11.4.We assume now that predicate w, z, F is unrestricted on variable n, see Definition 11.4. We prove by hyper infinite induction that there exists exactly one function F such that n, z, F . The proof of uniqueness of this function is similar to that given in the first part of Theorem 12.1. The existence of F can be proved as follows: for n 0 it suffices to take 0, z as F ; if n and F satisfies n, z, F , then F F n , eF n, n n n n n n n satisfies the condition n , z, F . Now, we take as the set of pairs n, s such that n , s Z and Fn, z, F s Fn. 12. 7 Since F is the unique function satisfying n, z, F, it follows that is a function. For n 0 we have 0 F 0 z; if n , then n F n eF n, n by the 0 n n definition of F ; hence we obtain n e0, n. Theorem 12.1 is thus proved. We frequently define not one but several functions (with the same range Z) by a simultaneous induction: 0 z, 0 t, n fn,n, n, n gn,n, n ZZ where z, t Z and f, g Z . This kind of definition can be reduced to the previous one. It suffices to notice that the hypersequence n , n satisfies the formulas: z, t , e , n , where n 0 n n we set eu, n fKu, Lu, n, gKu, Fw, n, 12. 8 and K, L denote functions such that K x, y and L x, y y respectively. Thus the function is defined by induction by means of (a). We now define and by n K ,n L . n n 12.2.Summation of the hyperfinite external -valued sequences. 1.Addition operation of Robinson hypernatural numbers. The function m, n m n : is defined hyper inductively by m 0 m, m n m n . This definition is obtained from conditions (12.3) by seting Z A , ga a, fp, n, a p , p p 1 This function satisfies all properties of addition such as: for all m, n, k (i) m 0 m (ii) m n n m (iii) m n k m n k. 2.Multiplicattion operation of Robinson hypernatural numbers. The function m, n m n : is defined by m 1 1, m n m n m. (i) m 1 1 (ii) m n n m (iii) m n k m n k. 4.Distributivity with respect to multiplication over addition. m n k m n m k. 5. Let Z A X , ga I , fu, n, a u a in (b). Then (12.3) takes on the following form 0, a I ,n , a n, a a. 12. 9 The external function n, a is denoted by a and is colled n-th iteration of the function 0 n n X a x x, a x a ax, x X, a X , n . 12. 10 6.Let A , ga a , fu, n, a u a . Then (12.3) takes on the following form 0 n 0, a a ,n , a n, a a 12. 11 0 n The external function is defined by the Eqs.(12.11) is denoted by Ext- a 12. 12 i0 7.Let A , ga a , fu, n, a u a . Then (12.3) takes on the following form 0 n 0, a a ,n , a n, a a 12. 13 0 n The external function is defined by the Eqs.(12.13) is denoted by Ext- a 12. 14 i0 8. Similarly we define max a , min a , n . in i in i n n n Theorem 12.2. For any hyperfinite -valued sequences a , b , c , n i i i i1 i1 i1 the following equalities holds for any n, k , l : 1 1 (1) distributivity n n b Ext- a Ext- b a 12. 15 i i i0 i0 (2) n n n Ext- a Ext- b Ext-a b 12. 16 i i i i i0 i0 i0 (3) splitting a sum n n Ext- a Ext- a Ext- a 12. 17 i i i i0 i0 ij1 (4) k l l k 1 1 1 1 Ext- Ext- a Ext- Ext- a 12. 18 ij ij ik jl jl ik 0 0 0 0 (5) n n n n Ext- a Ext- b Ext- Ext- a b 12. 19 i j i j i0 j0 i0 j0 (6) n n n Ext- a Ext- b Ext- a b 12. 20 i i i i i0 i0 i0 (7) n n Ext- a Ext- a 12. 21 i0 i0 Proof. Imediately from Theorem 11.1 and hyperinfinite induction principle. 9.Let A , ga a , fu, n, a u a . Then (12.3) takes on the following 0 n form 0, a a ,n , a n, a a 12. 22 0 n The external function is defined by the Eqs.(12.22) is denoted by Ext- a 12. 23 i0 10.Let A , g a a , f u, n, a u a . Then (12.3) takes on the following 0 n form 0, a a ,n , a n, a a 12. 24 0 n The external function is defined by the Eqs.(12.24) is denoted by Ext- a 12. 25 i0 11. Similarly we define max a , min a , n . in i in i n n n Theorem 12.3. For any -valued hyperfinite sequences a , b ,c , i i i i1 i1 i1 the following equalities holds for any n, k , l : 1 1 (1) distributivity n n b Ext- a Ext- b a 12. 26 i i i0 i0 (2) n n n Ext- a Ext- b Ext-a b 12. 27 i i i i i0 i0 i0 (3) splitting a sum n j n Ext- a Ext- a Ext- a 12. 28 i i i i0 i0 ij1 (4) k l l k 1 1 1 1 Ext- Ext- a Ext- Ext- a 12. 29 ij ij ik jl jl ik 0 0 0 0 (5) n n n n Ext- a Ext- b Ext- Ext- a b 12. 30 i j i j i0 j0 i0 j0 (6) n n n Ext- a Ext- b Ext- a b 12. 31 i i i i i0 i0 i0 (7) n n Ext- a Ext- a 12. 32 i0 i0 Proof. Imediately from Theorem 12.1 and hyperinfinite induction principle. 12.Let A , g a a , f u, n, a u a . Then (12.3) takes on the following 0 n form 0, a a ,n , a n, a a 12. 33 0 n The external function is defined by the Eqs.(12.33) is denoted by Ext- a 12. 34 i0 13.Let A , ga a , fu, n, a u a . Then (7.40) takes on the following 0 n form 0, a a ,n , a n, a a 12. 35 0 n The external function is defined by the Eqs.(12.35) is denoted by Ext- a 12. 36 i0 14. Similarly we define max a , min a , n . in i in i n n n Theorem 12.4. For any -valued hyperfinite sequences a , b ,c , i i i i1 i1 i1 the following equalities holds for any n, k , l : 1 1 (1) distributivity n n b Ext- a Ext- b a 12. 37 i i i0 i0 (2) n n n Ext- a Ext- b Ext-a b 12. 38 i i i i i0 i0 i0 (3) splitting a sum n n Ext- a Ext- a Ext- a 12. 39 i i i i0 i0 ij1 (4) k l l k 1 1 1 1 Ext- Ext- a Ext- Ext- a 12. 40 ij ij ik jl jl ik 0 0 0 0 (5) n n n n Ext- a Ext- b Ext- Ext- a b 12. 41 i j i j i0 j0 i0 j0 (6) n n n Ext- a Ext- b Ext- a b 12. 42 i i i i i0 i0 i0 (7) n n Ext- a Ext- a 12. 43 i0 i0 Proof. Imediately from Theorem 21.1 and hyper infinite induction principle. Remark 12.1.Note that in general case n n Ext- a Ext- a a , 12. 44 i 2k 2k1 i0 k0 where n \. Remark 12.2.We remind that there exists an natural embedding [5]: : . 12. 45 For any real number r let r denote the constant function with value r in , i.e., rn r, for all n . We then have embedding (11.30).We denote -image of in by . st Remark 12.3.We remind that the following statement holds [5]. EXTENSION PRINCIPLE: is a proper extension of and r $ r for all r . This means that we identify with its -image in . st Remark 12.4.We remind that [5]:(i) an element x is called finite if x r | | for some r 0, (ii) every finite x is infinitely close to some (unique) r st in the sense that x r is either 0 or positively infinitesimal in .This unique r is | | called the standard part of x and is denoted by x. If r , then r r; if st x, y are both finite, then x y x y, x y x y. 12. 46 Definition 12.1.Let a be a countable -valued sequence and let a be i i i0 i0 corresponding countable -valued sequence, where a a . A sequence st i i a converges to standard limit a and abbraviate a st-lim a if for every i st i i i0 0, 0 there is an integer N such that a a if i N. Note that | | a a, where a lim a . i i Theorem 12.4. (i) Let a , n be a countable -valued sequence such that a i0 limit a lim a , a exists.Then a countable -valued sequence converges to i i st standard limit a : a st-lim a . i i Proof. (i) Immediately from defininition12.1. 2n1 Example 12.1.lim sin 1.Then by Theorem 11.4 2n1 n0 2 2n 1! 2n1 we get: st-lim 1. 2n1 n0 2 2n 1 ! Theorem 12.5. Let a , n \ be a hyperfinite sequence such that: i0 (i) a a for any i n and (ii) for any m n : Ext- a , then i i i st i0 n n Ext- a Ext-a . 12. 47 i i i0 i0 Proof. From Eq.(12.46) by the condition (ii) and hyper infinite induction we get n n Ext- a Ext- a . 12. 48 i i i0 i0 From Eq.(12.48) by the condition (i) we obtain Eq.(12.47). 12.3.Summation of the cauntable -valued sequences. Definition 12.2. Let a be -valued countable sequence. Let a be any n n n k hyperfinite sequence with m \ and such that a 0 if n \. Then we define summation of the countable sequence a by the following hyperfinite sum Ext- a 12. 49 nk and denote such sum by the symbol Ext- a . 12. 50 nk Remark 12.5. Let a be -valued countable sequence. Note that: (i) for canonical summation we always apply standard notation a . 12. 51 nk (ii) the countable external sum ( -summ ) (12.50) in contrast with countable external sum (12.51) obviously always exists even if a series (12.51) diverges absolutely i.e., |a | . nk Example 12.2. The -sum Ext- \ exists by Theorem 12.1, however n1 . 12. 52 n1 Theorem 12.6. Let Ext- a A and Ext- b B, where A, B, C . Then n n nk nk Ext- C a C Ext- a 12. 53 n n nk nk and Ext-a b A B. 12. 54 n n nk Proof. It follows directly from Theorem 12.4. Theorem 12.7. Let a , n be a countable -valued sequence such that a siries i0 a converges absolutely. Assum that: st-lim Ext- a 0. Then | | i m i i0 im st- lim a Ext- a 12. 55 m i i i0 i0 Proof. Note that a Ext- a Ext- a Ext- | a |. 12. 56 i i i i i0 i0 im1 im1 From (12.56) we get st- lim a Ext- a st- lim Ext- | a | 0. 12. 57 m i i m i i0 i0 im1 Eq.(12.55) follows directly from Eq.(12.57). Example 12.2. Consider the countable sum S r Ext- r , 1 r 1. 12. 58 n0 it follows from (12.55) n n S r 1 Ext- r 1 r r 1 rS r 12. 59 n1 n0 Thus S r . 12. 60 1 r Remark 12.6. Note that n n n S r Ext- r st- lim r r 12. 61 n0 n0 n0 since as we know n n 1 S r lim r r . 12. 62 1 r n0 n0 Theorem 12.8. Let a be a countable -valued sequence, i.e. a a for any i st i i i n and st-lim Ext- a 0, then m i i0 Ext- a $ Ext- a . 12. 63 i i i0 i0 Proof. It follows directly from Theorem 12.5 for the case if for any i \ : a $ 0. Theorem 12.9. Let b , be a countable -valued sequence such that a limit i0 s lim b exists.Then m i i0 s $ Ext- b . 12. 64 i0 Proof. It follows directly from Theorem 12.7 and Eq.(12.63). e 13.e is transcendental number 13.1.e is #-transcendental number Definition 13.1. Let gx : be any real analytic function such that: (i) g x a x , |x| r,na , 13. 1 n n n0 and where (ii) the sequence a is recursive. We will call any function given by Eq.(13.1) constructive -analytic function and denoted such function by g x. Definition 13.2. A transcendental number z is called #-transcendental number over field , if there does not exists constructive -analytic function g x such that g z 0, i.e., for every constructive -analytic function g x the inequality g z 0 is satisfied. Definition 13.3.A transcendental number z is called w-transcendental number over field ,if z is not #-transcendental number over field ,i.e., there exists an constructive -analytic function g x such that g z 0. Notation 13.1.We will call for a short any constructive -analytic function g x simply -analytic function. Example 13.1. Number is transcendental but number is not #-transcendental number over field since:(i) function sin x is a -analytic and (ii) sin 1 i.e., 2n1 3 5 7 1 . . . . . . 0. 13. 2 5 7 3 2n1 2 3! 2 5! 2 7! 2 2n 1 ! 2n1 Note that the sequence a , n 0, 1, 2. . . . . obviously is primitive 2n1 2 2n 1! recursive.To prove that e is #-transcendental number we need to show that e is not w-transcendental i.e., there does not exist real -analytic function g x a x n0 with rational coefficients a , a , . . . , a , . . . such that 0 1 n n n a e 0, |a |e . 13. 3 k k n0 n0 Suppose that e is w-transcendental, i.e., there exists an -analytic function ğ x ă x , with rational coefficients: n0 k k k 0 1 n ă ,ă , . . . ,ă , . . . , ă 0, 13. 4 0 1 n 0 m m m 0 1 n such that the following equality is satisfied: n n ă e $ 0, |ă |e . 13. 5 n k n0 n0 In this subsection we obtain an reduction of the equality is given by Eq.(13.5) to equivalent equality given by Eq.(13.15). The main tool of such reduction that external countable sum defined in subsection 12.2 above. From Eq.(13.5) by Theorem 12.7 one obtains the equality ă ă e $ 0, 13. 6 0 n n1 where we abbreviate ă st-lim ă Note that from Eq.(13.6) by n m n n1 n1 Theorem 12.9 one obtains the equality ă Ext- ă e $ 0. 13. 7 0 n n1 Theorem 12.1.[4] The equality (13.6) is inconsistent. Proof.Let be a hypernatural number \ defined by countable sequence m , m m , . . . , m m . . .m , . . . 0 0 1 0 1 n 13. 8 r , r , . . . , r , . . . 0 1 n where r m m . . .m . From Eq.(13.7) and Eq.(13.8) one obtains n 0 1 n Ext- ă e 0 n1 0. 13. 9 From Eq.(12.9) one obtains Ext- e 0 n1 $ 0, 13. 10 where ă , n 0, 1, 2, . . . Note that n n M n, p n, p n n e e , 13. 11 M n, p M n, p 0 0 n 1, 2, . . . , k , n, p , see Appendix A,Eq.(30). From Eq.(13.10) and Eq.(13.11) by Theorem 12.6 we obtain Ext- e 0 n1 M n, p n, p n n n n Ext- 13. 12 M n, p M n, p 0 0 n1 M n, p n, p n n n n Ext- Ext- $ 0. M n, p M n, p 0 0 n1 n1 We abbreviate now M n, p n n n, p Ext- M n, p n1 13. 13 M n, p Ext- M n, p 0 0 n n n1 M n, p 0 and n, p n n n, p Ext- M n, p n1 13. 14 Ext- n, p n n n1 M n, p From the Eq.(13.12) and Eq.(13.13)-Eq.(13.14) we get n, p n, p $ 0. 13. 15 Note that p1 n g n a n n, p , 13. 16 p 1! n 1, 2, . . . , k , n, p , see Appendix,Eq.(29). From Eq.(13.14) and (13.16) one obtains Ext- n, p n n n1 |n, p| M n, p 13. 17 p1 Ext- n gn an n1 p 1! M n, p Let p be a hyperfinite prime integer p \ defined by countable sequence p p , p , . . . , p , . . . , 13. 18 0 1 n where any p is a prime integer such that p r . Notice we willing to choose n n n a sequence p such that any inequality p r , n is decidable, i.e. n n n nValp r , 13. 19 n n since the sequence r is recursive. We willing to choose now hyperfinite prime integer p in Eq.(13.13) p p \ such that p max| |, n. 13. 20 From the Appendix Eq.(27) it follows p M n, p. 13. 21 From the inequality (13.20) and (13.21) it follows p M n, p . 13. 22 0 0 From the Appendix A, Eq.(28) one obtains p M n, p, n 1, 2, . . . . 13. 23 From (13.22)-(13.23) we get the inequality M n, p Ext- M n, p 1 13. 24 0 0 n n n0 and therefore from Eq.(13.13) we get |n, p| . 13. 25 M n, p | | We willing to choose now hyperfinite prime integer p in Eq.(13.16) such that in additional the inequality is satisfied p1 n gn an Ext- n1 1. 13. 26 p 1! From Eq.(13.17) and the inequality (13.26) we get Ext- n, p n n n1 1 |n, p| . 13. 27 M n, p M n, p | | 0 0 From the inequalities (13.25) and (13.27) finally we get the inequality n, p n, p 0. 13. 28 But the inequality (13.28) contradicts with Eq.(13.15).This contradiction completed the proof. 14.Generalized Lindemann-Weierstrass theorem. Theorem 14.1.Let f z, l 1, 2, . . . , be a polynomials with coefficients in . Assume that for any l algebraic numbers over the field : , . . . , , k 1, l 1, 2, . . . form a 1,l k ,l l complete set of the roots of f z such that f z z, deg f z k , l 1, 2, . . . 14. 1 l l l and a , a 0, l 1, 2, . . . , . We assume now that l 0 k,l a e . 14. 2 | || | l1 k1 Then k,l a a e 0. 14. 3 0 l l1 k1 Note that from assumption above by Robinson transfer it follows that algebraic numbers , . . . , , k 1, l 1, 2, . . . , over field for any l 1, 2, . . . , form a complete set 1,l k ,l l of the roots of f z such that f z z, deg f z k , l 1, 2, . . . . 14. 4 l l l Assumption 14.1. We assume now that there exists an recursive sequence ă , l 1, 2, . . . ; r 1, 2, . . . 14. 5 and rational number ă , 14. 6 such that k,l |ă | |e | . 14. 7 l1 k1 and k k,l ă ă e $ 0. 14. 8 0 l l1 k1 Assumption 14.2. We assume now that the all roots , . . . , , k 1, l 1, 2, . . . of 1,l k ,l l f z are real. From Eq.(14.8) by Theorem 12.7 one obtains the equality k,l ă ă e $ 0, 14. 9 0 l l1 k1 where we abbreviate k m k l l k,l k,l ă e st- lim ă e . l m n l1 k1 l1 k1 Note that from Eq.(14.9) by Theorem 12.9 one obtains the equality k,l ă Ext- ă e $ 0. 14. 10 0 l l1 k1 Theorem 14.1.The equality (14.10) is inconsistent. Proof.Let us considered hypernatural number defined by countable sequence m , m m , . . . , m m . . .m , . . . r , r , . . . , r , . . . 14. 11 0 0 1 0 1 n 0 1 n where r m m . . .m . From Eq.(14.10) and Eq.(14.11) one obtains n 0 1 n k,l Ext- ă e l1 k1 14. 12 k,l Ext- e l1 k1 $ 0, where q q 0 l ă , ă . 14. 13 0 0 l l m m 0 l Note that M N, p N, p k,l k,l k,l e , 14. 14 M N, p where k 1, . . . , k , l 1, . . . , r, see Apendix C,Eq.(15).From Eq.(14.12) and Eq.(14.14) we get k Ext- M N, p N, p l k,l k,l 0 l1 k1 M N, p Ext- M N, p l k,l M N, p 0 0 l1 k1 M N, p M N, p 0 0 Ext- N, p l k,l l1 k1 14. 15 M N, p M N, p Ext- M N, p 0 0 l k,l l1 k1 M N, p Ext- N, p l k,l l1 k1 $ 0 M N, p We abbreviate now M N, p Ext- M N, p 0 0 l k,l l1 k1 N, p 14. 16 M N, p and Ext- N, p l k,l l1 k1 N, p . 14. 17 M N, p From Eq.(14.15) and Eq.(14.16)-Eq.(14.17) we get N, p N, p $ 0. 14. 18 Note that p1 g r g r | N, p| , 14. 19 k,l p 1! where k 1, . . . , k , l 1, . . . , r, N, p , see Appendix C,Eq.(12). From Eq.(14.17) and (14.19) one obtains p1 Ext- N, p Ext- g r g r l k,l l 0 l1 k1 l1 |N, p| 14. 20 M N, p p 1 ! Note that 0, there exists p p p1 g r g r . 14. 21 p 1! We will choose now infinite prime integer p in Eq.(3.56) p p \ such that p max|a |, b , |b |, . 14. 22 0 0 0 Hence from the Appendix C, Eq.(8) it follows p M N, p . 14. 23 From (14.22) and (14.23) one obtains: p M N, p, r . 14. 24 0 0 From the Appendix C, Eq.(10) it follows p M N, p, k, l 1, 2, . . . . 14. 25 k,l From (14.24)-(14.25) we get the inequality M N, p Ext- M N, p 1 14. 26 0 0 l k,l l1 k1 and therefore from Eq.(14.16) we get |n, p| . 14. 27 M n, p | | We willing to choose now hyperfinite prime integer p in Eq.(14.18) such that in additional the inequality is satisfied |N, p| . 14. 28 | M n, p | From the inequalities (14.27) and (14.28) finally we get the inequality n, p n, p 0. 14. 29 But the inequality (14.29) contradicts with Eq.(14.18).This contradiction completed the proof. Conclusion In this paper intuitionistic set theory INC in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered. Main results are: number e is transcendental; (ii) the both numbers e and e are irrational [16]. Acknowledgment The author would like to thank the reviewers for valuable comments. Appendix A.The basic definitions of the Shidlovsky quantities In this apendix we remind the basic definitions of the Shidlovsky quantities [15].Let M n, p, M n, p and n, p be the Shidlovsky quantities: 0 k k p1 x x x 1 . . . x n e M n, p dx 0, 1 p 1! p1 x x x 1 . . . x n e M n, p e dx, k 1, 2, . . . 2 p 1! p1 x x x 1. . .x n e n, p e dx, k 1, 2, . . . 3 p 1 ! where p this is any prime number.Using Eqs.(1)-(3) by simple calculation one obtains: M n, p n, p e M n, p 0, k 1, 2, . . . . 4 k k 0 and consequently M n, p n, p k k M n, p k 1, 2, . . . n p Lemma 3.1.[15]. Let p be a prime number. Then M n, p 1 n! p , . 0 1 1 Proof. ([15], p.128) By simple calculation one obtains the equality n1p p n p p1 p1 1 x x 1. . .x n 1 n! x c x , p1 c , p, p 1, . . . , n 1 p 1, n 0, 1 x where p is a prime. By using equality x e dx 1!, where , from Eq.(1) and Eq.(6) one obtains n1p n p M n, p 1 n! c 0 1 p 1! p 1! p1 n p 1 n! c p c pp 1 . . . p p1 n p 1 n! p , . 1 1 Thus n p M n, p 1 n! p n, p, n, p . 8 0 1 1 Lemma 3.2.[15]. Let p be a prime number. Then M n, p p n, p, n, p , k 2 2 k 1, 2, . . . , n . Proof.([15], p.128) By subsitution x k u dx du from Eq.(3.3) one obtains p1 p u k u k 1 . . .u . . .u k n e M n, p du p 1! k 1, 2, . . . By using equality n1p p1 p u k u k 1 . . .u . . .u k n d u , p1 d , p, p 1, . . . , n 1 p 1, and by subsitution Eq.(3.10) into RHS of the Eq.(3.9) one obtains n1p M n, p d u du p n, p, 11 k 1 2 p 1! p1 n, p , k 1, 2, . . . . Lemma 1.3.[15]. (i) There exists sequences an, n and gn, n such that p1 n g n a n n, p , | | p 1! where sequences an, n and gn, n does not depend on number p. (ii) For any n : n, p 0 if p . Proof.([15], p.129) Obviously there exists sequences an, n and gn, k , n such that an, n and gn, n does not depend on number p |xx 1. . .x n| an, 0 x n 13 and xk |x 1. . .x ne | gn, 0 x n, k 1, 2, . . . , n. 14 Substitution inequalities (13)-(14) into RHS of the Eq.(3) by simple calculation gives p1 p1 an n gn an n, p gn dx . 15 p 1! p 1! Statement (i) follows from (15). Statement (ii) immediately follows from a statement (ii). Lemma 1.4.[15]. For any k n and for any such that 0 1 there exists p such that M n, p e . 16 M n, p Proof.From Eq.(1.5) one obtains M n, p | n, p| k k e . 17 M n, p M n, p 0 0 From Eq.(17) by using Lemma 1.3.(ii) one obtains (3.17). Remark 1.1.We remind now the proof of the transcendence of e following Shidlovsky proof is given in his book [8]. Theorem 1.1. The number e is transcendental. Proof.([8], pp.126-129) Suppose now that e is an algebraic number; then it satisfies some relation of the form a a e 0, 18 0 k k1 where a , a , . . . , a integers and where a 0. Having substituted RHS of the 0 1 n 0 Eq.(3.5) into Eq.(18) one obtains n n n M n, p n, p M n, p n, p k k k k a a a a a 0. 19 0 k 0 k k M n, p M n, p M n, p 0 0 0 k1 k1 k1 From Eq.(19) one obtains n n a M n, p a M n, p a n, p 0. 20 0 0 k k k k k1 k1 We rewrite the Eq.(20) for short in the form n n a M n, p a M n, p a n, p 0 0 k k k k k1 k1 a M n, p n, p a n, p 0, 0 0 k k k1 n, p a M n, p. k k k1 We choose now the integers M n, p , M n, p , . . . , M n, p such that: 1 2 n p|M n, p, p|M n, p, . . . , p|M n, p 1 2 n where p |a | and p M n, p . Note that p| n, p . Thus one obtains p a M n, p n, p 23 0 0 and therefore a M n, p n, p , 24 0 0 where a M n, p n, p 0. By using Lemma 3.4 for any such that 0 1 we 0 0 can choose a prime number p p such that: n n a n, p a 1. 25 | | k k k k1 k1 From (25) and Eq.(21) we obtain a M n, p n, p 0. 26 0 0 From (26) and Eq.(24) one obtains the contradiction.This contradiction finalized the proof. The Robinson transfer of the Shidlovsky quantities M n, p, M n, p, n, p 0 k k In this subsection we will replace using Robinson transfer [5], the Shidlovsky quantities M n, p, M n, p, n, p by corresponding nonstandard quantities M n, p, M n, p, 0 k k 0 k n, p. The properties of the nonstandard quantities M n, p, M n, p, n, p one k 0 k k obtains directly from the properties of the standard quantities M n, p, M n, p, n, p 0 k k using Robinson transfer[4],[5]. 1.Using Robinson transfer principle [4],[5] from Eq.(8) one obtains directly n p M n, p 1 n! p n, p, 0 1 n, p /, n, p . \. From Eq.(11) using Robinson transfer principle one obtains kk : M n, p p n, p , k 2 n, p , k 1, 2, . . . , k , n, p . Using Robinson transfer principle from inequality (3.15) one obtains kk : p1 n gn an n, p , p 1 ! k 1, 2, . . . , k , n, p . Using Robinson transfer principle, from Eq.(3.5) one obtains kk : M n, p n, p k k k e e , M n, p M n, p 0 0 k 1, 2, . . . , k , n, p . Lemma 5. Let n , then for any k and for any 0, there exists p such that M n, p e . 31 M n, p Proof. From Eq.(30) we obtain kk : M n, p | n, p| k k e , M n, p | M n, p| 0 0 32 k , n, p . Appendix B.Generalized Shidlovsky quantities In this apendix we remind the basic definitions of the Shidlovsky quantities,see [15] p.132-134. Theorem 1.[15] Let f z, l 1, 2, . . . , r be a polynomials with coefficients in . Assume that for any l 1, 2, . . . , r algebraic numbers over the field : , . . . , , 1,l k ,l k 1, l 1, 2, . . . , r form a complete set of the roots of f z such that l l f z z, deg f z k , l 1, 2, . . . , r 1 l l l and a , l 1, 2, . . . , r, a 0. We assume now that l 0 k,l |a | |e | . 2 l1 k1 Then r k k,l a a e 0. 3 0 l l1 k1 Let M N , p, M N , p and N , p be the quantities 0 r k,l r k,l r N 1p1 p p1 z b z f ze dz M N , p , 4 0 r p 1! where in (4) we integrate in complex plane along line 0,, see Pic.1. N 1p1 p p1 z b z f ze dz k,l M N , p e , 5 k,l r p 1! k,l where k 1, . . . , k and where in (5) we integrate in complex plane along line with initial point and which are parallel to real axis of the complex plane , see Pic.1. k,l k,l N 1p1 p p1 z b z f ze dz k,l N , p e , 6 k,l r p 1! where k 1, . . . , k and where in (6) we integrate in complex plane along contour 0, , see Pic.1. k,l Pic.1.Contour 0, in complex k,l plane . From Eq.(3) one obtains N 1p N 1p1 p N 1p1 p r r p1 p1 s1 b z f rz b b z c z , 7 s1 N N 0 r r sp1 where b b 0, c , s p, . . . ,N 1p 1. Now from Eq.(4) and Eq.(7) using formula N r 0 s r s1 x s x e dx s 1!, s one obtains N 1p N 1p1 p b b N 0 r p1 z s1 s1 z M N , p z e dz z e dz 0 r p 1! p 1! sp1 0 0 N 1p s 1 ! N r1p1 p N r1p1 p b b c b b pC, s1 N r 0 N r 0 p 1! sp1 where b b 0, C . We choose now a prime p such that p max a , b , b . Then | | | | N 0 0 N 0 r r from Eq.(4.8) follows that p a M N , p. 9 0 0 r From Eq.(4.3) and Eq.(4.5) one obtains r j k,l N p1 r p e p1 p1 z k,l M N , p b z z z e dz, 10 k,l r i,j p 1 ! j1 i1 k,l where k 1, . . . , k , l 1, . . . , r. By change of the variable integration z u in RHS of l k,l the Eq.(10) we obtain k r j N p1 r p1 p 1 p u M N , p b u u e z du, 11 k,l r k,l k,l i,j p 1! j1 i1 ik jl where k 1, . . . , k , l 1, . . . , r. Let us rewrite now Eq.(11) in the following form M N , p k,l r p1 1 p u b u b u e b u b b du N N k,l N N k,l N i,j r r r r r p 1! j1 r 1 0 i jl ik Let be a ring of the all algebraic integers. Note that [8] b , i 1, . . . , k , j 1, . . . , r. 13 i,j N i,j A j Let us rewrite now Eq.(12) in the following form r j p1 p 1 p u M N , p b u u e b u du 14 k,l r N r k,l N r k,l i,j p 1! 0 j1 i1 ik jl where k 1, . . . , k , l 1, . . . , r. From Eq.(14) one obtains r k p u u e u a M N , p du, l k,l r p 1 ! l1 k1 r k r j 15 p1 p u u a b u u e b u r l N k,l N k,l i,j r r l1 k1 j1 i1 ik jl The polynomial u is a symmetric polynomial on any system of variables r l , , . . . , , where 1,l 2,l k ,l , , . . . , , l 1, . . . , r. l 1,l 2,l k ,l , , . . . , , l 1, . . . , r. 1,l 2,l k ,l A It well known that u u (see [8] p.134) and therefore N 1p p s1 u u c u , c . 17 r s1 s sp1 From Eq.(15) and Eq.(17) one obtains r k p u u e u a M N , p du l k,l r p 1! l1 k1 N r1p N r1p s 1! s1 s1 u u e du c pC, C . s1 p 1! p 1! sp1 sp1 Therefore k N , p a M N , p , r l k,l r l1 k1 p|N , p. Let O be a circle wth the centre at point 0, 0 . We assume now that kl O . We will designate now k,l R 1 z k,l g r max |b f ze |, k,l r z R | | g r max g r, gr max |b zf z|. 0 r k,l N r 1kk ,1lr |z |R From Eq.(6) and Eq.(20) one obtains k,l N 1p1 p p1 z k,l b z f ze dz | N , p| k,l r p 1! k,l p1 p1 g rg r g rg rR p1 | | 0 k,l 0 1 1 z 1 k,l |b fze ||b zf z| dz , N N r r p 1! p 1! p 1! where k 1, . . . , k , l 1, . . . , r. Note that p1 g rg rR 0 if p . 22 p 1 ! From (4.22) follows that for any 0, there exists a prime number p such that r k a N , p p 1. 23 l k,l r l1 k1 where k 1, . . . , k , l 1, . . . , r. From Eq.(4)-Eq.(6) follows M N , p N , p k,l r k,l r k,l e 24 M N , p 0 r where k 1, . . . , k , l 1, . . . , r. Assume now that r l k,l a a e 0. 25 0 l l1 k1 Having substituted RHS of the Eq.(24) into Eq.(25) one obtains M N , p N , p k,l r k,l r a a 0 l M N, p l1 k1 r k r k l l M N , p N , p k,l r k,l r a a a 0. 0 l l M N , p M N , p 0 r 0 r l1 k1 l1 k1 From Eq.(26) by using Eq.(19) one obtains r k a N , p a N , p 0. 27 0 r l k,l r l1 k1 We choose now a prime p such that p max a , b , b and p 1. Note that | | | | | | 0 0 N r p|N , p and therefore from Eq.(19) and Eq.(27) one obtains the contradiction. This contradiction completed the proof. Appendix.C.The Robinson transfer of the Shidlovsky quantities Let fz f z z, z , l 1, 2, . . . , r, r be a nonstandard polynomial such that fz f z f z b b z . . .b z r l 0 1 N l1 r k b z , b 0, b 0, N k,l 0 N l1 k1 N N k . r l l1 Let M N, p, M N, p and N, p be the quantities: 0 k,l k,l N1p1 p1 p z b z f z e dz M N, p , p 1! N, p , where in (5) we integrate in nonstandard complex plaine along line 0, , see Pic.1. N1p1 p1 p z b z f z e dz k,l M N, p e , k,l p 1! k,l N, p , where k 1, . . . , k and where in (5.6) we integrate in nonstandard complex plain along line with initial point and which are parallel to real axis of the complex k,l plane , see Pic.1. k,l N1p1 p1 p z b z f z e dz k,l N, p e , k,l p 1! N, p , where k 1, . . . , k and where in (5.7) we integrate in nonstandard complex plain along contour 0, . k,l 1.Using Robinson transfer principle [4],[5],[6] from Eq.(5) and Eq.(8) one obtains directly N1p1 p M N, p b b pC, 8 N 0 where b b 0, C . We choose now infinite prime p such that N 0 p max|a |, b , |b |. 9 0 N 0 2.Using Robinson transfer principle from Eq.(6) and Eq.(19) one obtains directly rr : N, p, r a M N, p pC . l k,l l1 k1 and therefore rr p| N, p, r. 11 3.Using Robinson transfer principle from Eq.(7) and Eq.(21) one obtains directly k,l N1 p1 p1 p z b z f z e dz k,l | N, p| e k,l p 1 ! k,l p1 g r g r| | p1 0 k,l 1 1 z 1 k,l |b fz e ||b zfz| dz N r p 1! p 1! p1 g r g r p 1! where k 1, . . . , k , l 1, . . . , r. Note that 0 , there exists p p p1 g r g r . 13 p 1! 4. From (13) follows that for any 0, there exists an infinite prime p such that rr : r k a N, p p 1 14 l k,l l1 k1 where k 1, . . . , k , l 1, . . . , r. . 5. From Eq.(5)-Eq.(7) we obtain M N, p N, p k,l k,l k,l e , 15 M N, p Numbers", Moscov, Univ.Press,1982 (in Russian). [16] Foukzon J., 2006 Spring Central Sectional Meeting Notre Dame,IN, April 8-9,2006 Meeting #1016 The solution of one very old problem in transcendental numbers theory. Preliminary report. http://www.ams.org/meetings/sectional/2130_progfull.html http://www.ams.org/meetings/sectional/1016-11-8.pdf References to Part1. [1] Nesterenko,Y.V., Philippon.Introduction to Algebraic Independence Theory. Series: Lecture Notes in Mathematics,Vol.1752 Patrice (Eds.) 2001, XIII, 256 pp.,Softcover ISBN: 3-540-41496-7 [2] Waldschmidt M., Algebraic values of analytic functions.Journal of Computational and Applied Mathematics 160 (2003) 323–333. [3] Foukzon J., 2006 Spring Central Sectional Meeting Notre Dame,IN, April 8-9,2006 Meeting #1016 The solution of one very old problem in transcendental numbers theory. Preliminary report. http://www.ams.org/meetings/sectional/1016-11-8.pdf [4] Foukzon J., Non-archimedean analysis on the extended hyperreal line and some transcendence conjectures over field and . http://arxiv.org/abs/0907.0467v9 [5] Goldblatt,R., Lectures on the Hyperreals. Springer-Verlag, New York, NY,1998. [6] Wattenberg,F., 0,-valued, translation invariant measures on and the Dedekind completion of . Pacific J. Math. Volume 90, Number 1 (1980), 223-247. [7] Gonshor,H., Remarks on the Dedekind completion of a nonstandard model of the reals.Pacific J. Math. Volume 118, Number1 (1985), 117-132. [8] Shidlovsky, A.B., "Diophantine Approximations and Transcendental Numbers", Moscov, Univ.Press,1982 (in Russian). http://en.bookfi.org/book/506517 http://bookre.org/reader?file506517&pg129 [9] I.Moerdijk A model for intuitionistic nonstandard arithmetic. Ann. Pure Appl. Logic 73(1995),297-325. [10] I.Moerdijk and G. E. Reyes, Models of Smooth In nitesimal Analysis Springer [11] P. Martin Löf, Mathematics of infinity. In P. Martin Lof and G. E. Mints eds COLOG Computer Logic Lecture Notes in Computer Science vol. 417 Springer Berlin 1990,146-197. [12] E. Palmgren Sheaf theoretic foundation for nonstandard analysis. Ann. Pure Appl. Logic 85(1997) 69-86. [13] E. Palmgren Developments in constructive nonstandard analysis. Bulletin of Symbolic Logic 4(1998) 233-272. [14] E. Palmgren, Unifying Constructive and Nonstandard Analysis. Vol. 306 of the series Synthese Library, pp.167-183.Springer 2001. [15] S.G.Simpson, Subsystems of second order arithmetic, Perspectives in Logic (2nd ed.),Cambridge University Press,(2009), ISBN 978-0-521-88439-6, MR 2517689 [16] E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, New York, 1967). [17] E.Bishop and D.Bridges, Constructive Analysis (Springer, Berlin, 1985). [18] Foukzon, J. (2021). Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I). Journal of Advances in Mathematics and Computer Science, 36(2), 73-88. https://doi.org/10.9734/jamcs/2021/v36i230339 [19] Foukzon, J. (2021). Set Theory INC Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions. Journal of Advances in Mathematics and Computer Science, 36(4), 90-112. https://doi.org/10.9734/jamcs/2021/v36i430359 [20] Foukzon J., Set Theory INC Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory. https://philpapers.org/rec/FOUSTI-4 where k 1, . . . , k , l 1, . . . , r. References to Part 2. [1] J.Foukzon, (2021). Set Theory INC Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I). Journal of Advances in Mathematics and Computer Science, 36(2), 73-88. https://doi.org/10.9734/jamcs/2021/v36i230339 [2] A. Robinson,Non-standard analysis. (Reviwed re-edition of the 1st edition of (1966) Princeton: Princeton University Press,1996. [3] ROBINSON, A. and ZAKON, Elias. 1969. A set-theoretical characterization of enlargements, W.A.J. Luxem-burg (editor), Applications of model theory to algebra, analysis and probability, (New York, Holt, Rinehartand Winston), 109-122. Reprinted: W.A.J. Luxemburg and S. Körner (editors), Selected papers of Abraham Robinson, Volume 2. Nonstandard analysis and Philosophy (New Haven/London, Yale University Press,1979), 206-219 [4] K.D.Stroyan, (W.A.J.Luxemburg,editor), Introduction to the theory of infinitesimals. New York: Academic Press (1st ed.), 1976 [5] S. Albeverio, J. E. Fenstad, R. Høegh-Krohn,Nonstandard Methods in Stochastic Analysis and Mathematical Physics (Dover Books on Mathematics) , February 26, 2009 Paperback : 526 pages ISBN-10 : 0486468992,ISBN-13 : 978-0486468990 [6] G.Takeuti,Proof Theory,ISBN-13: 978-0444104922; ISBN-10: 0444104925 [7] P. Martin-Löf, Infinite terms and a system of natural deduction, Compositio Mathematica, tome 24, no 1 (1972), p. 93-103 [8] D. Baelde, A. Doumane, A. Saurin. Infinitary proof theory: the multiplicative additive case . 2016. hal-01339037 https://hal.archives-ouvertes.fr/hal-01339037/document [9] M. Carl, L. Galeotti, R. Passmann,Realisability for Infinitary Intuitionistic Set Theory, arXiv:2009.12172 [math.LO] [10] C. Espíndola, A complete axiomatization of infinitary first-order intuitionistic logic over L . arXiv:1806.06714v5 [math.LO] κ ,κ [11] E. Mendelson, Introduction to Mathematical Logic, SBN-13: 978-0412808302 ISBN-10: 0412808307 [12] Leonard Euler, An introduction to the analysis of the infinite, vol. 1, Springer Verlag,New York, 1988, Translated by Jonh D. Blanton. 6. Leonhard Euler, De Progressionibus Harmonicis Observationes, Opera Omnia, I, vol. 14, 1734, pp. 87–100 [13] L. Bibiloni, P. Viader, and J. Paradís,On a Series of Goldbach and Euler. THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 113 March 2006] [14] Tauno Metsnkyl, Catalan’s conjecture: another old Diophantine problem solved, Bull. Amer. Math. Soc. (N.S.) 41 (2004), no. 1, 43–57 (electronic). [15] A.B. Shidlovsky, "Diophantine Approximations and Transcendental Numbers", Moscov, Univ.Press,1982 (in Russian).
Mathematics – arXiv (Cornell University)
Published: Jul 2, 2009
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.