English
Related papers

Related papers: On Namba Forcing and Minimal Collapses

200 papers

The weakly compact reflection principle $\text{Refl}_{\text{wc}}(\kappa)$ states that $\kappa$ is a weakly compact cardinal and every weakly compact subset of $\kappa$ has a weakly compact proper initial segment. The weakly compact…

Logic · Mathematics 2017-09-05 Brent Cody , Hiroshi Sakai

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new ${<}\kappa$-sequences (for some regular $\kappa$). As an application, we show that consistently the following cardinal characteristics…

Logic · Mathematics 2021-05-18 Martin Goldstern , Jakob Kellner , Diego A. Mejía , Saharon Shelah

Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_\kappa$ consisting of perfect trees of height $\lambda$ and width $\kappa$ where $\kappa$ is a singular $\omega$-strong limit of cofinality $\lambda$. They showed that if $\kappa$…

Logic · Mathematics 2021-10-08 Maxwell Levine , Heike Mildenberger

This paper is devoted to prove that if an Alexandrov space of curvature not less than $\kappa$ with a codimension one extremal subset which admits an isometric involution with respect to the induced length metric, then the metric space…

Metric Geometry · Mathematics 2016-06-09 Ayato Mitsuishi

Shelah shows that certain revised countable support (RCS) iterations do not add reals. His motivation is to establish the independence (relative to large cardinals) of Avraham's problem on the existence of uncountable non-constuctible…

Logic · Mathematics 2016-09-06 Chaz Schlindwein

The weak lower semicontinuity of the functional $$ F(u)=\int_{\Omega}f(x,u,\nabla u)\, dx$$ is a classical topic that was studied thoroughly. It was shown that if the function $f$ is continuous and convex in the last variable, the…

Optimization and Control · Mathematics 2023-02-08 Tomáš G. Roskovec , Filip Soudský

In this paper we are interested in finding and evaluating cardinal characteristics of the continuum that appear in large-scale topology, usually as the smallest weights of coarse structures that belong to certain classes (indiscrete,…

Logic · Mathematics 2021-10-19 Taras Banakh

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

Logic · Mathematics 2008-07-08 Saharon Shelah

We give a detailed proof of the properties of the usual Prikry type forcing notion for turning a measurable cardinal into $\aleph_\omega$.

Logic · Mathematics 2019-02-20 Mohammad Golshani

Many of the most common reverse Easton iterations found in the large cardinal context, such as the Laver preparation, admit a gap at some small delta in the sense that they factor as P*Q, where P has size less than delta and Q is forced to…

Logic · Mathematics 2007-05-23 Joel David Hamkins

In this note we give an elementary proof of the space-like real analyticity of solutions to a degenerate evolution problem that arises in the study of fractional parabolic operators of the type $(\partial_t - div_x(B(x)\nabla_x))^s$,…

Analysis of PDEs · Mathematics 2022-04-20 Agnid Banerjee , Nicola Garofalo

The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…

Logic · Mathematics 2012-05-07 Ioannis Souldatos

We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an Aleph_1-ary variety of algebras. Further, we show that Aleph_1 is a sharp bound: compact ordered spaces…

Category Theory · Mathematics 2020-11-19 Marco Abbadini , Luca Reggio

In this paper we study minimal realizations in $L^p(\mathbb{R}^N)$ of the second order elliptic operator \begin{equation*} { A_{b,c}} := (1+|x|^\alpha)\Delta + b|x|^{\alpha-2}x\cdot\nabla - c |x|^{\alpha-2} - |x|^{\beta} , \quad x \in…

Analysis of PDEs · Mathematics 2021-03-26 Sallah Eddine Boutiah , Loredana Caso , Federica Gregorio , Cristian Tacelli

$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…

Logic · Mathematics 2022-09-20 David Schrittesser

The goal of this survey is to describe some recent results concerning the L 2 extension of holomorphic sections or cohomology classes with values in vector bundles satisfying weak semi-positivity properties. The results presented here are…

Algebraic Geometry · Mathematics 2017-12-13 Jean-Pierre Demailly

We study extension operators between spaces $\sigma_n(2^X)$ of subsets of $X$ of cardinality at most $n$. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space $H$, equipped with the weak topology, then,…

Functional Analysis · Mathematics 2015-02-09 Antonio Avilés , Witold Marciszewski

Theorem 1 of [14], a minimax result for functions $f:X\times Y\to {\bf R}$, where $Y$ is a real interval, was partially extended to the case where $Y$ is a convex set in a Hausdorff topological vector space ([15], Theorem 3.2). In doing…

Functional Analysis · Mathematics 2017-01-13 Biagio Ricceri

We prove that for any regular kappa and mu > kappa below the first fix point (lambda = aleph_lambda) above kappa, there is a graph with chromatic number > kappa, and mu^kappa nodes but every subgraph of cardinality < mu has chromatic number…

Logic · Mathematics 2013-02-20 Saharon Shelah

Let kappa be the limit of <kappa_n : n<omega> (1) if each kappa_n carries an extender of the length of the first Mahlo above kappa_n, then for every ld above kappa there is a generic extension with power of kappa above ld. (2) if each…

Logic · Mathematics 2007-05-23 Moti Gitik