Linear orders and MA + ¬wKH

ArticleOriginal scientific text

Title

Authors ¹

Department of Mathematics, University of Wisconsin-Madison, Madison, Wisconsin 53706, U.S.A.

I prove that the statement that "every linear order of size

2^{ω}

can be embedded in

(ω^{ω}, ≪)

" is consistent with MA + ¬ wKH.

[K] K. Kunen, Set Theory. An Introduction to Independence Proofs, North-Holland, 1980.
[L] R. Laver, Linear orders in ${(ω)}^{ω}$ under eventual dominance, in: Logic Colloquium '78, M. Boffa, D. van Dalen and K. McAloon (eds.), North-Holland, 1979, 299-302.
[M] W. Mitchell, Aronszajn trees and the independence of the transfer property, Ann. Math. Logic 5 (1972), 21-46.
[T] S. Todorčević, Some consequences of MA + ¬ wKH, Topology Appl. 12 (1981), 187-202.
[W] W. H. Woodin, Set theory and discontinuous homomorphisms from Banach algebras, Ph.D. thesis, University of California-Berkeley, 1983.

http://matwbn.icm.edu.pl/ksiazki/fm/fm146/fm14632.pdf