Normal functions and maximal order types (Q6636675)

From MaRDI portal





scientific article; zbMATH DE number 7942587
Language Label Description Also known as
default for all languages
No label defined
    English
    Normal functions and maximal order types
    scientific article; zbMATH DE number 7942587

      Statements

      Normal functions and maximal order types (English)
      0 references
      0 references
      0 references
      12 November 2024
      0 references
      normal function
      0 references
      maximal order type
      0 references
      dilator
      0 references
      uniform Kruskal theorem
      0 references
      reverse mathematics
      0 references
      well partial order
      0 references

      Identifiers