Logique mathématique

Tiltan and Superclub

Garti, Shimon¹  ; Shelah, Saharon^2, 3

¹ Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem 91904, Israel
² EinsteinInstitute of Mathematics, The Hebrew University of Jerusalem, Jerusalem 91904, Israel
³ Department of Mathematics Rutgers University New Brunswick, NJ 08854, USA

Comptes Rendus. Mathématique, Tome 361 (2023) no. G5, pp. 853-861

Abstract (VO)

We show that one can force superclub with an arbitrarily large value of $\mathrm{cov}\left(ℳ\right)$. We prove that the club principle is consistent with an arbitrarily large value of $\mathrm{add}\left(ℳ\right)$. We also prove that if $\kappa$ is regular then superclub at ${\kappa }^{+}$ implies $Q({\kappa }^{+},{\kappa }^{+},{\kappa }^{+})$.

Résumé

Nous prouvons que superclub est consistant avec une valeur arbitrairement élevée de $\mathrm{cov}\left(ℳ\right)$. Nous prouvons que trèfle est consistant avec une valeur arbitrairement élevée de $\mathrm{add}\left(ℳ\right)$. Nous prouvons aussi que superclub en ${\kappa }^{+}$ implique $Q({\kappa }^{+},{\kappa }^{+},{\kappa }^{+})$ si $\kappa$ est un cardinal régulier.

Détail

Reçu le : 2021-08-31
Accepté le : 2022-10-04
Publié le : 2023-07-18

DOI : 10.5802/crmath.434

Classification : 05C63, 03E02, 03E17
Keywords: Superclub, club (tiltan), invariants of measure and category, infinite graphs, square brackets

Licence : CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits