ultraproduct (Q6480875)

From MaRDI portal





quotient of the direct product of a family of structures by an ultrafilter
  • ultrapower
Language Label Description Also known as
default for all languages
No label defined
    English
    ultraproduct
    quotient of the direct product of a family of structures by an ultrafilter
    • ultrapower

    Statements

    studied in
    model theory
    0 references
    defining formula
    ∏i∈IMia∼b⟺{i∈I:ai=bi}∈U
    0 references
    subclass of
    structure
    0 references

    Identifiers

    Freebase ID
    /m/01p1l1
    1 reference
    stated in
    Freebase Data Dumps
    publication date
    28 October 2013
    Encyclopædia Britannica Online ID
    topic/ultrapower
    subject named as
    ultrapower
    0 references
    topic/ultraproduct
    subject named as
    ultraproduct
    0 references
    Microsoft Academic ID
    167930466
    0 references
    nLab ID
    ultraproduct
    0 references
    ScienceDirect topic ID
    mathematics/ultraproduct
    0 references
    MathWorld ID
    Ultraproduct
    0 references
    Ultraproduct
    subject named as
    Ultraproduct
    0 references
    Wikidata QID
    Q1535225
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6480875&oldid=40260560"
      Powered by MediaWiki