Universality Results for Well-Founded Posets
DOI:
https://doi.org/10.5644/SJM.01.2.01Keywords:
Set theory, well-founded posets, universalityAbstract
In this paper it is shown that the univerality spectrum of well-founded posets is exactly the same as the spectrum of the class of well-orders. A universality result for a restricted class of well-founded posets under rank and order preserving embeddings is also proved. This is done using a club guessing method generalised by Kojman which demonstrates a surjective homomorphism with subsets of the reals of bounded size ordered by inclusion.
1991 Mathematics Subject Classification. 03E04, 06A05, 06A06
Downloads
References
R. Fra¨ıss´e, Theory of Relations, Vol.145 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., revised edition 2000.
M. Kojman, Representing embeddability as set inclusion, J. London Math. Soc., 58 (1998), 257–270.
M. Kojman and S. Shelah, Non-existence of universal orders in many cardinals, J. Symbolic Logic, 57 (3) (1992), 875–891.
K. Kunen, Set Theory, Vol.102 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., 1980.
M. Dˇzamonja and S. Shelah, On the existence of universal models, Arch. Math. Logic, 43 (2004), 901–936.
E. Mendelson, On a class of universal ordered sets, Proc. Amer. Math. Soc., 9 (1958), 712–713.
S. Shelah, Independence results, J. Symbolic Logic, 45 (3) (1980), 563–573.
S. Shelah, Cardinal Arithmetic, Oxford University Press, 1994.
E. Szpilrajn, Sur l’extension de l’ordre partiel, Fund. Math., 37 (1930), 386–389.
S. Todorˇcevi´c and J. V¨a¨an¨anen, Trees and Ehrenfeucht-Fra¨ıss´e games, Ann. Pure Appl. Logic, 100 (1999), 69–97.
