Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 13-2012
MSC 2000
- 03C62 Models of arithmetic and set theory
-
03H05 Nonstandard models in mathematics
-
03H15 Nonstandard models of arithmetic
Abstract :
aut*. exc. FundamentalSaetze -:, Multiplikation1, Multiplikation-1, Division1. 1:x=rez(x). 1:(i*x)=-i:x. ab2:A to T. ab2(x)*ab2(x)=ab2(ab2(x)). DistributivGesetze i. :Satz Zahlen.
Keywords :
Division.