A coding of the countable linear orderings

DOI10.1007/BF00370167zbMath0727.06002MaRDI QIDQ803179

Patrick Dehornoy

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

coding of linear orderslinear orders on the natural numberswell- ordering

Mathematics Subject Classification ID

Total orders (06A05) Ordinal and cardinal numbers (03E10)

Cites Work

• Turing complexity of the ordinals
• \(\Pi^ 1_ 1\)-complete families of elementary sequences
• Algebraic Properties of the Shift Mapping

This page was built for publication: A coding of the countable linear orderings