Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 11-2012
MSC 2000
- 03C62 Models of arithmetic and set theory
-
03H05 Nonstandard models in mathematics
-
03H15 Nonstandard models of arithmetic
Abstract :
FundamentalSaetze --, -, -*(in R), le . cup/cap/vee/wedge/sse/in/+/*Satz Zahlen. Additive Kuerzungs- und VerschiebungsRegel. NullTeilerFreiheit in R. ParameterAxiom III. le. Kleiner-Relation. le-Notation. Arithmetisches Axiom VII. KommutativGesetz Multiplikation.
Keywords :
KleinerGleich-Relation