English

Free sets for a set-mapping relative to a family of sets

Logic 2017-12-27 v3

Abstract

Given a family F\mathcal{F} of subsets of {1,,m}\{1,\ldots,m\}, we try to compute the least natural number nn such that for every function S:[n]<ω[n]<ωS:[\aleph_n]^{<\omega}\longrightarrow [\aleph_n]^{<\omega} there exists a bijection u:{1,,m}Ynu:\{1,\ldots,m\}\longrightarrow Y\subset \aleph_n such that Su(A)Yu(A)Su(A)\cap Y \subset u(A) for all AFA\in\mathcal{F}.

Keywords

Cite

@article{arxiv.1607.03291,
  title  = {Free sets for a set-mapping relative to a family of sets},
  author = {Antonio Avilés and Claribet Piña},
  journal= {arXiv preprint arXiv:1607.03291},
  year   = {2017}
}