The ultraproduct is a mathematical construction that appears mainly in abstract algebra and in model theory, a branch of mathematical logic. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones.

PropertyValue
dbpprop:abstract
  • The ultraproduct is a mathematical construction that appears mainly in abstract algebra and in model theory, a branch of mathematical logic. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones. The hyperreal numbers, an ultrapower of the real numbers, are a special case of this. Some striking applications of ultraproducts include very elegant proofs of the compactness theorem and the completeness theorem, Keisler's ultrapower theorem, which gives an algebraic characterization of the semantic notion of elementary equivalence, and the Robinson-Zakon presentation of the use of superstructures and their monomorphisms to construct nonstandard models of analysis, leading to the growth of the area of nonstandard analysis, which was pioneered (as an application of the compactness theorem) by Abraham Robinson.
  • Ein Ultraprodukt ist ein Konstrukt auf dem Gebiet der Modelltheorie, einem Teilgebiet der Mathematik. Die Zielsetzung der Konstruktion besteht darin, zu einem Modell (oder vielen Modellen) für ein gegebenes Axiomensystem ein weiteres zu erhalten, das ungewöhnliche, in der Sprache des Axiomensystems nicht formalisierbare Eigenschaften aufweist. Idee der Konstruktion ist, Relationen für Folgen durch eine Art von Mehrheitsentscheidung zu definieren.
  • Ultraprodukt - sposób budowania nowych modeli z danej rodziny modeli. Ultraprodukty są używane i badane w teorii modeli, teorii mnogości i algebrze. Szczególnym przypadkiem ultraproduktów są ultrapotęgi (w których używa się tylko jednego modelu wyjściowego).
  • Inom matematiken, särskilt inom modell- och mängdteori, används ultraprodukter för att, givet en mängd <math>A_i, i\in I</math> av strukturer av viss signatur, konstuera en struktur <math>A=\Pi_{\mathcal{F}}A_i</math> sådan att varje första ordningens påstående är sant i A omm det är sant i "många" av strukturerna <math>A_i</math>.
dbpprop:hasPhotoCollection
dbpprop:ipaPolProperty
  • wɔɕ
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • The ultraproduct is a mathematical construction that appears mainly in abstract algebra and in model theory, a branch of mathematical logic. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones.
  • Ein Ultraprodukt ist ein Konstrukt auf dem Gebiet der Modelltheorie, einem Teilgebiet der Mathematik. Die Zielsetzung der Konstruktion besteht darin, zu einem Modell (oder vielen Modellen) für ein gegebenes Axiomensystem ein weiteres zu erhalten, das ungewöhnliche, in der Sprache des Axiomensystems nicht formalisierbare Eigenschaften aufweist. Idee der Konstruktion ist, Relationen für Folgen durch eine Art von Mehrheitsentscheidung zu definieren.
  • Ultraprodukt - sposób budowania nowych modeli z danej rodziny modeli. Ultraprodukty są używane i badane w teorii modeli, teorii mnogości i algebrze. Szczególnym przypadkiem ultraproduktów są ultrapotęgi (w których używa się tylko jednego modelu wyjściowego).
  • Inom matematiken, särskilt inom modell- och mängdteori, används ultraprodukter för att, givet en mängd <math>A_i, i\in I</math> av strukturer av viss signatur, konstuera en struktur <math>A=\Pi_{\mathcal{F}}A_i</math> sådan att varje första ordningens påstående är sant i A omm det är sant i "många" av strukturerna <math>A_i</math>.
rdfs:label
  • Ultraproduct
  • Ultraprodukt
  • Ultraprodukt
  • Ultraprodukt
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of