Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 22-2011
MSC 2000
- 03B80 Other applications of logic
-
03A05 Philosophical and critical
-
03C62 Models of arithmetic and set theory
-
03E75 Applications of set theory
Abstract :
Irreflexiv M. Intervalle. IrreflexivHalbordnungNotation. Satz vom Minimum. Satz vom Maximum. InfZwischenWertSatz. SupZwischenWertSatz.
Keywords :
Intervalle. Satz vom Minimum/Maximum. InfZwischenWertSatz. SupZwischenWertSatz.