Fundamenta Mathematicae · 1995 · 430 citations · 2 references
Natural SciencesLinguisticsFormal MethodsPartially Ordered SetsOrder Embeddings
I prove that the statement that "every linear order of size 2 can be embedded in ( , )" is consistent with MA + wKH.
2
Some consequences of MA + ¬wKH
Stevo Todorčević · Topology and its Applications · 1981 · 28 citations
Humanities, Mathematics, Logic +1