Linear orders and MA + ¬wKH

• Autorzy: Zoran Spasojević
• Języki publikacji: EN

Abstrakty

EN

I prove that the statement that "every linear order of size $2^ω$ can be embedded in $(ω^ω, ≪)$" is consistent with MA + ¬ wKH.

Kategorie tematyczne

• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 1994-1995
• Tom: 146
• Numer: 3
• Strony: 215-238

Daty

wydano

1995

otrzymano

1993-05-14

poprawiono

1994-07-18

Twórcy

autor

Zoran Spasojević

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

Bibliografia

• [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.