Modified version of a formal proof of completeness of the decreasing diagrams method for proving confluence of relations of the least uncountable cardinality

Documenti analoghi

• A note on Hindman-type theorems for uncountable cardinals
  di: Carlucci, Lorenzo
  Pubblicazione: (2017)
• The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
  di: Blue, Douglas, et al.
  Pubblicazione: (2026)
• An uncountable number of proofs of Pythagoras Theorem
  di: Bhatnagar, Gaurav, et al.
  Pubblicazione: (2023)
• A method for the automated generation of proof exercises with comparable levels of proving complexity
  di: Mendes, João, et al.
  Pubblicazione: (2026)
• Finite element method. Detailed proofs to be formalized in Coq
  di: Clément, François, et al.
  Pubblicazione: (2024)