Ordinal Partitions

MaRDI QIDQ5973962swMATHFDO

Authors Lawrence C. Paulson

Publication date 3 August 2020

Official website https://www.isa-afp.org/entries/Ordinal_Partitions.html

Cites work

• A short proof of a partition theorem for the ordinal ωω
• A Theorem in the Partition Calculus

Cited in

(2)

• ZFC_in_HOL
• Wetzels_Problem

This page was built for software: Ordinal Partitions