This is a preview of subscription content, log in via an institution to check access.
Literature Cited
A. Church, “The constructive second number class,” Bull. Amer. Math. Soc.,44, 224–232 (1938).
A. Church and S. C. Kleene, “Formal definitions in the theory of ordinal numbers,” Fund. Math.,28, 11–21 (1937).
S. C. Kleene, “On notation for ordinal numbers,” J. Symbolic Logic,3, 150–155 (1938).
H. Rogers, Jr., Theory of Recursive Functions and Efficient Computability, McGraw-Hill, New York (1967).
P. Erdös and A. Hajnal, “On a classification of denumerable order types and an application to the partition calculus,” Fund. Math.,51, 117–129 (1962).
F. Hausdorff, “Grundzüge einer Theorie der geordneten Mengen,” Math. Ann.,65, 435–505 (1908).
S. S. Goncharov, “Constructive superatomic Boolean algebra,” Algebra i Logika,12, No. 1, 31–40 (1973).
F. Gass, “A note on II 11 ordinals,” Notre Dame J. Formal Logic,13, No. 1, 103–105 (1972).
S. S. Goncharov, “Certain properties relating to the construction of Boolean algebra,” Sibirsk Matem. Zh.,16, No. 2, 264–278 (1975).
W. Markwald, “Zur Theorie der konstruktiven Wohlordnungen,” Math. Ann.,127, 135–149 (1954).
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, Vol. 16, No. 6, pp. 1246–1254, November–December, 1975.
Rights and permissions
About this article
Cite this article
Pinus, A.G. Efficient linear orders. Sib Math J 16, 956–962 (1975). https://doi.org/10.1007/BF00967393
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00967393