English
Related papers

Related papers: Square Compactness and the filter extension proper…

200 papers

We advance the Cohn-Umans framework for developing fast matrix multiplication algorithms. We introduce, analyze, and search for a new subclass of strong uniquely solvable puzzles (SUSP), which we call simplifiable SUSPs. We show that these…

Computational Complexity · Computer Science 2023-07-18 Matthew Anderson , Vu Le

This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's…

Logic · Mathematics 2020-07-10 Gabriel Goldberg

Can a supercompact cardinal kappa be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above kappa, then…

Logic · Mathematics 2007-05-23 Arthur W. Apter , Joel David Hamkins

We give a combinatorial characterization of when a maximal almost disjoint family of a weakly compact cardinal $\kappa$ is indestructible by the higher random forcing $\mathbb Q_\kappa$. We then use this characterisation to show that…

Logic · Mathematics 2019-04-10 Thomas Baumhauer

We prove two ZFC theorems about cardinal invariants above the continuum which are in sharp contrast to well-known facts about these same invariants at the continuum. It is shown that for an uncountable regular cardinal $\kappa$,…

Logic · Mathematics 2018-01-30 Dilip Raghavan , Saharon Shelah

We prove that every weakly square compact cardinal is a strong limit cardinal. We also study Aronszajn trees with no uncountable finitely branching subtrees, characterizing them in terms of being Lindel\"of with respect to a particular…

Logic · Mathematics 2023-05-26 Pedro E. Marun

The simplicial complexity is an invariant for finitely presentable groups that was recently introduced by Babenko, Balacheff and Bulteau to study systolic area. The simplicial complexity $\kappa(G)$ was proved to be a good approximation of…

Geometric Topology · Mathematics 2019-07-04 Eugenio Borghini , Elias Gabriel Minian

A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…

General Topology · Mathematics 2023-06-01 Mikołaj Krupski

We establish the consistency of the failure of the diamond principle on a cardinal $\kappa$ which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a…

Logic · Mathematics 2017-06-06 Omer Ben-Neria

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

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-1)$, and $\Sigma \subset {\bf R}^{2n}$ be a partially symmetric compact convex hypersurface, i.e., $x\in…

Dynamical Systems · Mathematics 2015-05-01 Hui Liu , Duanzhi Zhang

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

Logic · Mathematics 2016-09-07 Ernest Schimmerling , John R. Steel

In this work we prove sharp $L^p$ versions of multipolar Hardy inequalities in the case of a bipolar potential and $p\geq 2$, which were first developed in the case $p=2$ by Cazacu (CCM 2016) and Cazacu&Zuazua (Studies in phase space…

Analysis of PDEs · Mathematics 2022-11-22 Cristian Cazacu , Teodor Rugină

We consider special subclasses of the class of Lindel\"of Sigma-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space $X$ is in the class $L\Sigma(\leq\kappa)$ if it…

General Topology · Mathematics 2012-10-23 Wieslaw Kubis , Oleg Okunev , Paul J. Szeptycki

We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally…

General Topology · Mathematics 2021-03-25 María V. Ferrer , Salvador Hernández

A one-parameter family of coupled flows depending on a parameter $\kappa>0$ is introduced which reduces when $\kappa=1$ to the coupled flow of a metric $\omega$ with a $(1,1)$-form $\alpha$ due recently to Y. Li, Y. Yuan, and Y. Zhang. It…

Differential Geometry · Mathematics 2020-11-10 Teng Fei , Bin Guo , Duong H. Phong

Recent work by Webb {\it et al.} has provided indications of spatial variations of the fine-structure constant, $\alpha$, at a level of a few parts per million. Using a dataset of 293 archival measurements, they further show that a dipole…

Cosmology and Nongalactic Astrophysics · Physics 2016-03-16 A. M. M. Pinho , C. J. A. P. Martins

After small forcing, any < kappa-closed forcing will destroy the supercompactness, even the strong compactness, of kappa .

Logic · Mathematics 2008-02-03 Joel David Hamkins , Saharon Shelah

The coupled entropy, $H_\kappa,$ is proven to uniquely satisfy the requirement that a generalized entropy be a measure of the uncertainty at the scale, $\sigma,$ for a class of non-exponential distributions. The coupled stretched…

Statistical Mechanics · Physics 2026-01-14 Kenric P. Nelson

A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…

Logic · Mathematics 2022-02-17 Sakaé Fuchino , Hiroshi Sakai