Normal functions and maximal order types

arXiv2209.11568MaRDI QIDQ6411710

Anton Freund, Davide Manca

Publication date: 23 September 2022

Mathematics Subject Classification ID

Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Normal functions and maximal order types