Consistency of the existence of a 4-place function on aleph2 with no independent subset of size kn
Peter Komjath, Saharon Shelah
Abstract
It is consistent that there is a set mapping from the four-tuples of omegan into the finite subsets with no free subsets of size tn for some natural number tn. For any n< omega it is consistent that there is a set mapping from the pairs of omegan into the finite subsets with no infinite free sets.
Create a lesson
Related papers
A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
Fedor Pakhomov, Vlad Lazar
What David Teaches Goliath: An Inevitable Extension of ZFC
Ali Enayat
Measures in Nairian models, I
Gabriel Goldberg, Grigor Sargsyan
On separable pairs of fields and beautiful pairs of separably closed valued fields
Zhengqing He, Martin Hils
Fragments of SRP, the nonstationary ideal, and diagonal reflection
Gunter Fuchs, Hiroshi Sakai
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li et al.