Abstract
We give an exposition of Herrmann’s proof that there is an infinite computable partial ordering with no infinite \(\Sigma ^0_2\) chains or antichains.
I am grateful to Eberhard Herrmann for finding the lovely proof on which this paper is based. I thank Rod Downey for his hospitality, collaboration, and support on my numerous trips to Wellington to work with him over the years. I also appreciate the opportunity to collaborate with him in many other places, including Urbana and Berkeley. Finally, I thank the Simons Foundation for supporting my travel to the meeting in New Zealand in 2017 in honor of his 60th birthday.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Downey, R.G.: Computability theory and linear orderings. Stud. Logic Found. Math. 138, 823–976 (1998). Handbook of Recursive Mathematics (Ershov, Goncharov, Nerode, and Remmel, editors). Elsevier, Amsterdam
Harizanov, V., Jockusch, C.G., Knight, J.F.: Chains and antichains in partial orderings. Archiv. Math. Logic 48, 39–53 (2009)
Herrmann, E.: Infinite chains and antichains in computable partial orderings. J. Symbolic Logic 66, 923–934 (2001)
Hirschfeldt, D., Shore, R.A.: Combinatorial principles weaker than Ramsey’s theorem for pairs. J. Symbolic Logic 72, 171–206 (2007)
Jockusch, C.G.: Ramsey’s theorem and recursion theory. J. Symbolic Logic 37, 268–280 (1972)
Jockusch, C.G.: Review of Herrmann’s paper [3]. Math. Rev. 1833487(2003e:03082) (2003)
Jockusch, C., Kastermans, B., Lempp, S., Lerman, M., Solomon, D.R.: Stability and posets. J. Symbolic Logic 74(2), 693–711 (2009)
Szpilrajn, E.: Sur l’extension de l’order partiel. Fundam. Math. 16, 386–389 (1930)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Jockusch, C.G. (2017). Herrmann’s Beautiful Theorem on Computable Partial Orderings. In: Day, A., Fellows, M., Greenberg, N., Khoussainov, B., Melnikov, A., Rosamond, F. (eds) Computability and Complexity. Lecture Notes in Computer Science(), vol 10010. Springer, Cham. https://doi.org/10.1007/978-3-319-50062-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-50062-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50061-4
Online ISBN: 978-3-319-50062-1
eBook Packages: Computer ScienceComputer Science (R0)