Strongly almost disjoint families, II
Andras Hajnal, Istvan Juhasz, Saharon Shelah
Abstract
The relations M(kappa,lambda,mu)->B [resp. B(sigma)] meaning that if A subset [kappa]lambda with |A|=kappa is mu-almost disjoint then A has property B [resp. has a sigma-transversal] had been introduced and studied under GCH by Erdos and Hajnal in 1961. Our two main results here say the following: Assume GCH and rho be any regular cardinal with a supercompact [resp. 2-huge] cardinal above rho. Then there is a rho-closed forcing P such that, in VP, we have both GCH and M(rho(+rho+1),rho+,rho) not-> B [resp. M(rho(+rho+1),lambda,rho) not-> B(rho+) for all lambda =< rho(+rho+1)].
Create a lesson
Related papers
Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Carlos Cordoba-Caycedo, Dario Garcia
Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
Cecelia Higgins, Pieter Spaas, Sofia Torelli
The strength of the minimum principle in constructive reverse mathematics
Tatsuji Kawai
Independence of premise for intuitionistic Zermelo-Fraenkel set theory
Patrick Uftring
Condensed Whitehead Problem
Spencer Unger, Jerry Wei
Points and their multiples on curves in powers of simple abelian varieties
David J. Smith