Related papers: Forcing for hL and hd

This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.

We study the Sobolev inequality and the existence of its extremal functions in the setting of homogeneous H\"{o}rmander vector fields. A principal result establishes a mutual inclusion between the set of volume growth rates of subunit balls…

This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this…

We extend the geometric Hamilton-Jacobi formalism for hamiltonian mechanics to higher order field theories with regular lagrangian density. We also investigate the dependence of the formalism on the lagrangian density in the class of those…

Based on the insight gained by many authors over the years on the structure of the Einstein-Hilbert, Gauss-Bonnet and Lovelock gravity Lagrangians, we show how to derive -- in an elementary fashion -- their first-order, generalized "ADM"…

We establish that the optimal bound for the size of the smallest integral solution of the Oppenheim Diophantine approximation problem $\abs{Q(x)-\xi}< \epsilon$ for a generic ternary form $Q$ is $\abs{x}\ll \epsilon^{-1}$. We also establish…

We discuss the problem how "bad" may be lower-order coefficients in elliptic and parabolic second order equations to ensure some qualitative properties of solution such as strong maximum principle, Harnack's inequality, Liouville's theorem.…

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

Hardy-Littlewood-Sobolev (HLS) Inequality fails in the "critical" case: \mu=n. However, for discrete HLS, we can derive a finite form of HLS inequality with logarithm correction for a critical case: \mu=n and p=q, by limiting the inequality…

We study the supremum of some random Dirichlet polynomials and obtain sharp upper and lower bounds for supremum expectation that extend the optimal estimate of Hal\'asz-Queff\'elec and enable to cunstruct random polynomials with unusually…

In this short note, we describe the so-called homogeneous involution on finite-dimensional graded-division algebra over an algebraically closed field. We also compute their graded polynomial identities with involution. As pointed out by L.…

This dissertation investigates three main topics, all of which dealing with alternative, higher-order gravity theories in four dimensions. Firstly, we study the variational and conformal structure of those theories. Next, we analyse their…

We study the density of the supremum of a strictly stable L\'evy process. As was proved recently in F. Hubalek and A. Kuznetsov "A convergent series representation for the density of the supremum of a stable process" (Elect. Comm. in…

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…

This paper treat determinacy of strong moment problems in part I and indeterminacy of strong moment problems in part II. This paper is a summary of the following papers: [1] Ald\'en. E., Determinacy of Strong Moment Problems. [2] On…

In this paper, we will give suitable conditions on differential polynomials $Q(f)$ such that they take every finite non-zero value infinitely often, where $f$ is a meromorphic function in complex plane. These results are related to Problem…

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…

We suggest an upper bound on binomial coefficients that holds over the entire parameter range and whose form repeats the form of the de Moivre-Laplace approximation of the symmetric binomial distribution. Using the bound, we estimate the…

We study the approximate controllability problem for Liouville transport equations along a mechanical Hamiltonian vector field. Such PDEs evolve inside the orbit $$\mathcal{O}(\rho_0):=\left\{\rho_0\circ \Phi\mid \Phi\in {\rm…