Übersetzung für 'Satz von Łoś' von Deutsch nach Englisch

Satz {m} von Łoś

Los's theorem [Łoś's theorem] [also: theorem of Los]math.

---

Satz {m} von Zermelo

Zermelo's theorem [also: theorem of Zermelo]math.

Werbung

Satz {m} von Goldstine

Goldstine's theoremmath.

Satz {m} von Bloch

Bloch's theorem [also: Bloch theorem, theorem of Bloch]math.

Satz {m} von Valiron

Valiron's theorem [also: theorem of Valiron]math.

Satz {m} von Goodstein

Goodstein's theorem [also: theorem of Goodstein]math.

Satz {m} von Lagrange

Lagrange's theoremmath.

Satz {m} von Cayley

Cayley's theoremmath.

Satz {m} von Lovász

theorem of Lovász [also: Lovász theorem]med.

Satz {m} von Tschebyscheff

Chebyshev's theorem [also: Chebyshev theorem, theorem of Chebyshev]math.

Satz {m} von Lester

Lester's theorem [also: theorem of Lester]math.

Satz {m} von Eigenschaften

set of attributes

Satz {m} von Elliott

theorem of Elliott [also: Elliott's theorem]math.

Satz {m} von Prochorow

Prokhorov's theorem [also: Prokhorov theorem]

Satz {m} von Lindenbaum

Lindenbaum's theorem [also: Lindenbaum theorem, theorem of Lindenbaum]math.

Satz {m} von Pascal

Hexagrammum Mysticum Theorem [Pascal's theorem] [also: hexagrammum mysticum theorem]math.

Satz {m} von Roth

Roth's theoremmath.

Satz {m} von Thurston

Thurston's theorem [also: theorem of Thurston]math.

Satz {m} von Gerschgorin

Gershgorin circle theoremmath.

Gershgorin's theoremmath.

Satz {m} von Girsanow

Girsanov theorem [also: Girsanov's theorem]math.

• Der Satz von Łoś, benannt nach dem polnischen Mathematiker Jerzy Łoś, ist ein Satz aus der Modelltheorie aus dem Jahre 1955, der einen alternativen Zugang zum Kompaktheitssatz ermöglicht.
• Aus dem Satz von Łoś folgt, dass dieses Ultraprodukt ein algebraisch abgeschlossener Körper mit Charakteristik 0 ist, die Kardinalität des Kontinuums folgt aus mengentheoretischen Überlegungen.
• Ein gänzlich anderer Beweis, der auf den Begriff der syntaktischen Herleitbarkeit und auch auf den Vollständigkeitssatz verzichtet, ergibt sich in der Modelltheorie aus dem Satz von Łoś durch Ultraprodukte.