Preprint proving in Z_sep that no set carries exactly two isomorphism classes of dense linear orders without endpoints
-
Updated
Aug 3, 2026 - TeX
#
dense-linear-orders
Here are 2 public repositories matching this topic...
Preprint proving in Z_sep that no set carries exactly three pairwise nonisomorphic dense linear orders without endpoints, with a Level IV Lean 4 formalization.
-
Updated
Aug 1, 2026 - TeX
Add this topic to your repo
To associate your repository with the dense-linear-orders topic, visit your repo's landing page and select "manage topics."