Induction, bounding, weak combinatorial principles, and the homogeneous model theorem (Q5366979)

From MaRDI portal





scientific article; zbMATH DE number 6788984
Language Label Description Also known as
default for all languages
No label defined
    English
    Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
    scientific article; zbMATH DE number 6788984

      Statements

      Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (English)
      0 references
      0 references
      0 references
      0 references
      10 October 2017
      0 references
      reverse mathematics
      0 references
      computable model theory
      0 references
      atomic models
      0 references
      homogeneous models
      0 references
      generics
      0 references
      induction
      0 references
      bounding
      0 references
      AMT
      0 references
      HMT
      0 references
      ATT
      0 references
      FATT
      0 references
      Weihrauch
      0 references
      uniform reduction
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references