Beruflich Dokumente
Kultur Dokumente
* konstruktiv?
http://www.jstor.org/discover/10.2307/421031
* Alte Grundlagen:
Eine Erweiterung der Infinitesimalrechnung.
Laugwitz, Schmieden.
http://terrytao.wordpress.com/2012/04/02/a-cheap-version-of-nonstandard-analysis/
http://math.stackexchange.com/questions/454393/does-cheap-nonstandard-analysis-
take-place-in-a-topos
Sigma |== x = y
:<==> { n | x_n = y_n } ist kofinal in Sigma,
das soll heißen: Es gibt einen Index,
ab dem *alle* Indizes in Sigma liegen.
* Außerdem ist die Relation monoton, d.h. Sigma |== phi impliziert Sigma' |== phi,
falls Sigma' eine unendliche Teilmenge von Sigma ist.
* Es gilt ferner, dass Sigma |== phi impliziert, dass Sigma cup {n} |== phi.
* Sigma |== negneg phi bedeutet: Für alle Sigma' <= Sigma
existiert (nicht nicht) ein Sigma'' <= Sigma' mit Sigma'' |== phi.
Vermutlich ja.
Etwa würde dann Omega |== Box phi bedeuten, dass es eine Verfeinerung
Omega' --> Omega mit Omega' |== phi gibt.
Wenn man eine neue Zufallsgröße mit vorgegebener Verteilung einführen möchte,
kann man das dann mit Box machen.