wellorder

swMATH28912MaRDI QIDQ40626FDOQ40626

Author name not available (Why is that?)

Official website: https://www.cl.cam.ac.uk/~jrh13/papers/wellorder-library.html

Cited In (4)

• Cardinals in Isabelle/HOL
• Countable Ordinals
• Free Groups
• Ordinals Cardinals

This page was built for software: wellorder