Efficient linear orders

DOI10.1007/BF00967393zbMath0341.02031MaRDI QIDQ1231485

Aleksandr Georgievich Pinus

Publication date: 1976

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Related Items (1)

Computable presentability of countable linear orders

Cites Work

• Unnamed Item
• Unnamed Item
• Zur Theorie der konstruktiven Wohlordnungen
• The constructive second number class
• On notation for ordinal numbers

This page was built for publication: Efficient linear orders