diamond principle (Q1734160)

From Wikidata
Jump to navigation Jump to search
combinatorial principle that there exists a family of sets 𝐴(𝛼)βŠ†π›Ό for 𝛼<ω₁ such that for any π΄βŠ†Ο‰β‚, the set of 𝛼’s with π΄βˆ©π›Ό=𝐴(𝛼) is stationary in ω₁
  • β—Š
edit
Language Label Description Also known as
English
diamond principle
combinatorial principle that there exists a family of sets 𝐴(𝛼)βŠ†π›Ό for 𝛼<ω₁ such that for any π΄βŠ†Ο‰β‚, the set of 𝛼’s with π΄βˆ©π›Ό=𝐴(𝛼) is stationary in ω₁
  • β—Š

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit