Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473)
From MaRDI portal
scientific article; zbMATH DE number 7566889
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing Ordinal Partition Relations Using Isabelle/HOL |
scientific article; zbMATH DE number 7566889 |
Statements
Formalizing Ordinal Partition Relations Using Isabelle/HOL (English)
0 references
3 August 2022
0 references
ordinal partition relations
0 references
set theory
0 references
interactive theorem proving
0 references
Isabelle
0 references
proof assistants
0 references
0 references
0 references
