Related papers: A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

In \cite{Craig}, we introduced a syntactically defined and highly general class of calculi known as \emph{semi-analytic}. We then demonstrated that any sufficiently strong (modal) substructural logic with a semi-analytic calculus must…

In this paper we generalize [3] and prove that the class of accessible and saddle-conservative cocycles (a wide class which includes cocycles evolving in GL(d,R), SL(d,R) and Sp(d,R) Lp-densely have a simple spectrum. We also generalize [3,…

ZF is a well investigated impredicative constructive version of Zermelo-Fraenkel set theory. Using set terms, we axiomatize IZF with Replacement, which we call \izfr, along with its intensional counterpart \iizfr. We define a typed lambda…

We introduce a real-parameter refinement of the classical integer hierarchies underlying Schmidt number, block-positivity, and $k$-positivity for maps between matrix algebras. Starting from a compact family of $\alpha$-admissible unit…

In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$,…

In this paper we prove symmetry of compactly supported steady solutions of the 2D Euler equations. Assuming that $\Omega = \{x \in \mathbb{R}^2:\ u(x) \neq 0\}$ is an annular domain, we prove that the streamlines of the flow are circular.…

The pcf theorem (of the possible cofinality theory) was proved for reduced products prod_{i< kappa} lambda_i/I, where kappa < min_{i< kappa} lambda_i. Here we prove this theorem under weaker assumptions such as wsat(I)< min_{i< kappa}…

We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…

We extend the results of Schapira and Schneiders on relative regularity and finiteness of elliptic pairs to the framework of $\shd[[\hbar]]$-modules and $\R$-constructible sheaves of $\C[[\h]]$-modules. We also construct a relative duality…

The aim of this paper is investigating the existence of weak solutions of the quasilinear elliptic model problem \[ \left\{\begin{array}{lr} - \divg (A(x,u)\, |\nabla u|^{p-2}\, \nabla u) + \dfrac1p\, A_t(x,u)\, |\nabla u|^p\ =\ f(x,u) &…

We identify the weak closures of the ranges of certain Calkin representations for $L^{p}$, $1<p<\infty$. As a consequence, assuming the continuum hypothesis, we show that the commutant of $B(L^{p})$, $1<p<\infty$, in its ultrapower may or…

We present a proof-theoretical study of the interpretability logic IL, providing a wellfounded and a non-wellfounded sequent calculus for IL. The non-wellfounded calculus is used to establish a cut elimination argument for both calculi. In…

This work is dedicated to the study of quasi-linear elliptic problems with $L^1$ data, the simple model will be the next equation on $ (M,g) $ a compact Riemannian manifold. $$-\Delta_{p} u=f$$ Where $f\in L^{1}(M) $ .Our goal is to develop…

We answer a question of Koll\'ar and Kov\'acs by constructing a flat projective morphism to a smooth curve whose fibers are Cohen--Macaulay and reduced, whose generic fiber is smooth, and for which the first cohomology of the structure…

We study a nonlinear, nonlocal Dirichlet problem driven by the fractional p-Laplacian, involving a (p-1)-sublinear reaction. By means of a weak comparison principle we prove uniqueness of the solution. Also, comparing the problem to…

Kollar and Ruan proved symplectic deformation invariance for uniruledness of Kaehler manifolds. Zhiyu Tian proved the same for rational connectedness in dimension < 4. Kollar conjectured this in all dimensions. We prove Kollar's conjecture,…

We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a…

The {\em spectrum} of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we show that when restricted to using only two variables, but allowing counting quantifiers, the…

We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams:…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…