Efficient linear orders

DOI10.1007/BF00967393MaRDI QIDQ1231485zbMATH OpenFDO

Authors A. G. Pinus

Publication date 1976

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

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3024905 (Why is no real title available?)
• On notation for ordinal numbers
• The constructive second number class
• Zur Theorie der konstruktiven Wohlordnungen

Cited in

(1)

• Computable presentability of countable linear orders

This page was built for publication: Efficient linear orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1231485)