Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeSep 8th 2012
• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeSep 16th 2012

Added to lexicographic order the observation that the lexicographic order on $L^\mathbb{N}$ can be defined corecursively.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeSep 19th 2012

the lexicographic order on $L^\mathbb{N}$ can be defined corecursively.

That’s cute!

• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeAug 8th 2018

Added a proposition that the lexicographic order on a product of well-ordered sets over a well-ordered indexing set is also well-ordered.

• CommentRowNumber5.
• CommentAuthorTodd_Trimble
• CommentTimeNov 13th 2020

Got rid of section 3, which was completely wrong (my fault).