Related papers: Square Compactness and the filter extension proper…

We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal,…

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

The Lesche stability condition for the Shannon entropy [B. Lesche, J. Stat. Phys. 27, 419 (1982)], represents a fundamental test, for its experimental robustness, for systems obeying the Maxwell-Boltzmann statistical mechanics. Of course,…

In this paper we show that if $(y_n)$ is a seminormalized sequence in a Banach space which does not have any weakly convergent subsequence, then it contains a wide-$(s)$ subsequence $(x_n)$ which admits an equivalent convex basic sequence.…

We prove that on the Baire space $(D^{\kappa},\pi)$, $\kappa \geq \omega_0$ where $D$ is a uniformly discrete space having $\omega _1$-strongly compact cardinal and $\pi$ denotes the product uniformity on $D^\kappa$, there exists a…

In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P)=lambda>cf(lambda)=kappa, then P must contain an antichain of size kappa. We prove that for lambda>cf(lambda)=kappa, if there exists a cardinal mu<lambda…

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

This note relies mainly on a refined version of the main results of the paper by F. Catrina and D. Costa (J. Differential Equations 2009). We provide very short and self-contained proofs. Our results are sharp and minimizers are obtained in…

We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{\kappa, \kappa}$, this allows us to characterize any large cardinal…

The statement in the title solves a problem raised by T. Retta. We also present a variation of the result in terms of $[ \mu ,\kappa ]$-compactness.

In [7], Guan, Ren and Wang obtained a $C^2$ a priori estimate for admissible 2-convex hypersurfaces satisfying the Weingarten curvature equation $\sigma_2(\kappa(X))=f(X, \nu(X)).$ In this note, we give a simpler proof of this result, and…

Compactness is one of the core notions of analysis: it connects local properties to global ones and makes limits well-behaved. We study the computational properties of the compactness of Cantor space $2^{\mathbb{N}}$ for uncountable covers.…

We prove for any mu = mu^{< mu}< theta < lambda, lambda large enough (just strongly inaccessible Mahlo) the consistency of 2^mu = lambda-> [theta]^2_3 and even 2^mu = lambda-> [theta]^2_{sigma,2} for sigma < mu . The new point is that…

We investigate the cofinality of the strong measure zero ideal for $\kappa$ inaccessible, and show that it is independent of the size of $2^\kappa$.

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $\theta$-supercompact, for any desired $\theta$. In addition, we prove several global results…

Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak…

In this paper, let $n\geq2$ be an integer, $P=diag(-I_{n-\kappa},I_\kappa,-I_{n-\kappa},I_\kappa)$ for some integer $\kappa\in[0, n)$, and $\Sigma \subset {\bf R}^{2n}$ be a partially symmetric compact convex hypersurface, i.e., $x\in…

We show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no strongest extension of L_{kappa,omega} with the…

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…