English
Related papers

Related papers: Consistency of partition relation for cardinal in …

200 papers

We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…

Logic · Mathematics 2025-11-24 Toshimichi Usuba

We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located…

Logic · Mathematics 2023-01-06 Sakaé Fuchino , Hiroshi Sakai

What topological spaces can be partitioned into copies of the Cantor space $2^\omega$? An obvious necessary condition is that a space can be partitioned into copies of $2^\omega$ only if it can be covered with copies of $2^\omega$. We prove…

General Topology · Mathematics 2021-09-09 Will Brian

This article pertains to interpolation of Sobolev functions at shrinking lattices $h\mathbb{Z}^d$ from $L_p$ shift-invariant spaces associated with cardinal functions related to general multiquadrics,…

Classical Analysis and ODEs · Mathematics 2018-03-12 Keaton Hamm , Jeff Ledford

Let $\mathsf{MM}^{++}(\kappa)$ state that the forcing axiom $\mathsf{MM}^{++}$ can be instantiated only for stationary set preserving posets of size at most $\kappa$. We give a detailed account of Asper\`o and Schindler's proof that…

Logic · Mathematics 2021-11-09 Matteo Viale

We show a new proof for the fact that when $\kappa$ and $\lambda$ are infinite cardinals satisfying $\lambda ^ \kappa = \lambda$, the cofinality of the set of all functions from $\lambda$ to $\kappa$ ordered by everywhere domination is…

Logic · Mathematics 2014-05-06 Dan Hathaway

We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong…

Logic · Mathematics 2024-01-30 Chris Lambie-Hanson , Assaf Rinot , Jing Zhang

We examine the T-odd transverse lepton and $\Lambda$ polarizations in the baryonic decays of $\Lambda_b\to\Lambda l^+l^- (l=e ,\mu)$ to study the T violating effects. We show that the lepton polarizations are suppressed but the $\Lambda$…

High Energy Physics - Phenomenology · Physics 2009-11-07 Chuan-Hung Chen , C. Q. Geng , J. N. Ng

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

Logic · Mathematics 2019-01-18 P. D. Welch

We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.

Logic · Mathematics 2018-11-14 James Cummings , Mirna Džamonja , Itay Neeman

We show that the forcing axiom for countably compact, $\omega_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage…

Logic · Mathematics 2020-08-05 Stevo Todorčević , Shihao Xiong

In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular…

Logic · Mathematics 2018-05-15 Yair Hayut , Asaf Karagila

The convergence of multiple Fourier series of functions of bounded partial $% \Lambda$-variation is investigated. The sufficient and necessary conditions on the sequence $\Lambda=\{\lambda_n\}$ are found for the convergence of multiple…

Analysis of PDEs · Mathematics 2012-10-17 Ushangi Goginava , Artur Sahakian

Using a three-baryon $\Lambda NN$ potential having a spin-independent dispersive and a two-pion exchange components, realistic variational Monte Carlo calculations have been performed for the $\Lambda$-seperation energy for…

Nuclear Theory · Physics 2008-11-26 A. A. Usmani

We deal with several pcf problems; we characterize another version of exponentiation: number of kappa-branches in a tree with lambda nodes, deal with existence of independent sets in stable theories, possible cardinality of ultraproduct,…

Logic · Mathematics 2016-09-07 Saharon Shelah

For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $\lambda$ which is square, i.e…

Representation Theory · Mathematics 2012-08-16 Matthew Bennett , Vyjayanthi Chari , R. J. Dolbin , Nathan Manning

The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.

Logic · Mathematics 2024-01-22 Franklin D. Tall , Jing Zhang

We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an…

Logic · Mathematics 2014-02-27 Joel David Hamkins , Thomas A. Johnstone

We prove that for regular $\lambda$ above a strong limit singular $\mu$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $\lambda$ and $\mu$ there are coboundedly many regular…

Logic · Mathematics 2007-05-23 Mirna Džamonja

We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property…

Logic · Mathematics 2021-06-17 Paul McKenney , Alessandro Vignati
‹ Prev 1 8 9 10 Next ›