Abstract
We generalize the theory of Nash-Williams on well quasi-orders and better quasi-orders and later results to uncountable cardinals. We find that the first cardinal κ for which some natural quasi-orders are κ-well-ordered, is a (specific) mild large cardinal. Such quasi-orders are (the class of orders which are the union of ≦λ scattered orders) ordered by embeddability and the (graph theoretic) trees under embeddings taking edges to edges (rather than to passes).
Similar content being viewed by others
References
K. Devlin,Aspects of constructibility, Lecture Notes in Mathematics354, Springer-Verlag, Berlin-Heidelberg-New York, 1973.
P. Erdos and R. Rado,A theorem on partial well-ordering of sets of vectors, J. London Math. Soc.34 (1959), 222–224.
R. Fraisse,Abritement entre relations et specialement entre chaines, Ins. Naz. Alta. Mat. (Bologna) Symp. Math.5 (1970), 203–251.
G. Higman,Ordering by divisibility in abstract algebras, Proc. London Math. Soc. (3)2 (1952), 326–336.
T. Jech,Set Theory, Academic Press, New York, 1978.
A. Kanamori and M. Magidor,The evolution of large cardinal axioms in set theory, inHigher Set Theory (G. H. Müller and D. S. Scott, eds.), Lecture Notes in Mathematics669, Springer-Verlag, Berlin-Heidelberg-New York, 1978, pp. 99–275.
J. Kruskal,Well quasi-ordering, the tree theorem and Vazsonyi's conjecture, Trans. Amer. Math. Soc.95 (1960), 210–225.
J. Kruskal,The theory of well-quasi-orderings, a frequently discovered concept, J. Combinatorial Theory, Ser. A,13 (1972), 297–305.
K. Kunen and R. Jensen,Combinatorial properties of V and L, a preprint.
R. Laver,On Fraisse's order type conjecture, Ann. of Math.93 (1971) 89–111.
R. Laver,An order type decomposition theorem, Ann. of Math.98 (1973), 96–119.
R. Laver,Well-quasi-orderings and sets of finite sequences, Proc. Cambridge Phil. Soc.79 (1976), 1–10.
R. Laver,Better-quasi-orderings and a class of trees, inStudies in Foundations and Combinatorics, Advances in Math. Supplementary Studies (Gian-Carlo Rota, ed.), Vol. I, 1978, pp. 32–48.
E. C. Milner,Well-quasi-ordering of transfinite sequences of ordinal numbers, J. London Math. Soc.43 (1968), 291–296.
C. St. J. A. Nash-Williams,On well-quasi-ordering trees, inTheory of Graphs and its Applications, Proc. of the Symp. held in Smolenice in June 1963, pp. 83–84.
C. St. J. A. Nash-Williams,On well-quasi-ordering finite trees, Proc. Cambridge Phil. Soc.59 (1963), 833–835.
C. St. J. A. Nash-Williams,On well-quasi-ordering lower sets of finite trees, Proc. Cambridge Phil. Soc.60 (1964), 369–384.
C. St. J. A. Nash-Williams,On well-quasi-ordering transfinite sequences, Proc. Cambridge Phil. Soc.61 (1965), 33–39.
C. St. J. A. Nash-Williams,On well-quasi-ordering infinite trees, Proc. Cambridge Phil. Soc.61 (1965), 697–720.
C. St. J. A. Nash-Williams,On better-quasi-ordering transfinite sequences, Proc. Cambridge Phil. Soc.64 (1968), 273–290.
R. Rado,Partial well-ordering of sets of vectors, Mathematika1 (1954), 89–95.
S. Shelah,On well ordering and more on Whitehead problem, Notices Amer. Math. Soc.26 (1979), A-442.
S. Shelah,The spectrum problem for ℵe -saturated models, Israel J. Math., to appear.
S. Shelah,Construction of many complicated uncountable structures and Boolean algebras, Israel J. Math., submitted.
J. Silver,A large cardinal in the constructible universe, Fund. Math.69, 93–100.
S. Simpson,Better quasi order, a print, 1978.
Author information
Authors and Affiliations
Additional information
This research was supported by the United States-Israel Binational Science Foundation, grant 1110.
Rights and permissions
About this article
Cite this article
Shelah, S. Better quasi-orders for uncountable cardinals. Israel J. Math. 42, 177–226 (1982). https://doi.org/10.1007/BF02802723
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02802723