arXiv Science⌕ Search

arXiv subjects

Pierre Matet

Publications and source records attributed to Pierre Matet.

11 recordsLinked to original sources
arXiv2023

$\mu$-Clubs OF $P_\kappa (\lambda)$ : Paradise on earth

If $V = L$, and $\mu$, $\kappa$ and $\lambda$ are three infinite cardinals with $\mu = {\rm cf} (\mu) < \kappa = {\rm cf}(\kappa) \leq \lambda$, then, as shown in \cite{Heaven}, the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (\lambda^{< \kappa})$ are isomorphic if and only if ${\rm cf} (\lambda) \not= \mu$. Now in $L$, $\lambda^{< \kappa}$ equals $u (\kappa, \lambda)$ (the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$) equals $\lambda$ if ${\rm cf} (\lambda) \geq \kappa$, and $\lambda^+$ otherwise. We show that, in ZFC, there are many triples $(\mu, \kappa, \lambda)$ for which ($u (\kappa, \lambda) > \lambda$ and) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic.

math.LO↗
arXiv2023

Meeting, covering and Shelah's Revised GCH

We revisit the application of Shelah's Revised GCH Theorem \cite{SheRGCH} to diamond. We also formulate a generalization of the theorem and prove a small fragment of it. Finally we consider another application of the theorem, to covering numbers of the form cov(-, -, -, $\omega$).

math.LO↗
arXiv2023

$\mu$-Clubs of $P_\kappa (\lambda)$ : Paradise in heaven

Let $\mu < \kappa < \lambda$ be three infinite cardinals, the first two being regular. We show that if there is no inner model with large cardinals, $u (\kappa, \lambda)$ is regular, where $u (\kappa, \lambda)$ denotes the least size of a cofinal subset in $(P_\kappa (\lambda), \subseteq)$, and cf$(\lambda) \not= \mu$, then (a) the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa (u (\kappa, \lambda))$ are isomorphic, and (b) the ideal dual to the $\mu$-club filter on $P_\kappa (\lambda)$ (and hence the restriction of the nonstationary ideal on $P_\kappa (\lambda)$ to sets of uniform cofinality $\mu$) is not $I_{\kappa, \lambda}$-$\frak{b}_{u (\kappa, \lambda)}$-saturated.

math.LO↗
arXiv2019

Towers and clubs

We revisit several results concerning club principles and nonsaturation of the nonstationary ideal, attempting to improve them in various ways. So we typically deal with a (non necessarily normal) ideal $J$ extending the nonstationary ideal on a regular uncountable (non necessarily successor) cardinal $\kappa$, our goal being to witness the nonsaturation of $J$ by the existence of towers (of length possibly greater than $\kappa^+$).

math.LO↗
arXiv2019

Piece selection and cardinal arithmetic

We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if $\lambda \geq 2^\kappa$, then (a) $I_{\kappa, \lambda}$ is not $(\lambda, 2)$-distributive, and (b) $I_{\kappa, \lambda}^+ \rightarrow (I_{\kappa, \lambda}^+)^2_\omega$ does not hold.

math.LO↗
arXiv2006

The nonstationary ideal on P_κ(lambda) for lambda singular

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa (lambda) is nowhere precipitous.

math.LO↗
arXiv2004

Positive partition relations for P_{kappa,lambda}

Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{ ^kappa (I_{kappa, lambda}^+,omega +1)^2, (b) I_{kappa, lambda}^+ -->^kappa [I_{kappa, lambda}^+]_{kappa^+}^2 if kappa is a limit cardinal, and (c) I_{kappa, lambda}^+ -->^kappa (I_{kappa, lambda}^+)^2 if kappa is weakly compact.

math.LO↗
arXiv2004

Cofinality of normal ideals on P_κ(λ), I

Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<theta}-normal if given B_e in J for e in P_theta(delta), the set of all a in P_kappa(lambda) such that a in B_e for some e in P_{|a cap theta|}(a cap delta) lies in J. We give necessary and sufficient conditions for the existence of such ideals and we describe the least one and we compute its cofinality.

math.LO↗
arXiv2002

Cofinality of the nonstationary ideal

We show that the reduced cofinality of the nonstationary ideal NS_kappa on a regular uncountable cardinal kappa may be less than its cofinality, where the reduced cofinality of NS_kappa is the least cardinality of any family F of nonstationary subsets of kappa such that every nonstationary subset of kappa can be covered by less than $\kappa$ many members of F.

math.LO↗