Related papers: Bounded Namba forcing axiom may fail
We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…
Ramsey theory and forcing have a symbiotic relationship. At the RIMS Symposium on Infinite Combinatorics and Forcing Theory in 2016, the author gave three tutorials on Ramsey theory in forcing. The first two tutorials concentrated on…
We introduce the notion of effective Axiom A and use it to show that some popular tree forcings are Suslin+. We introduce transitive nep and present a simplified version of Shelah's "preserving a little implies preserving much": If I is a…
The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.
We define a nontrivial version of the square principle $\Box_\omega$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_\omega$ can…
Finding accurate approximations for the effective reactivity of a structured spherical target with a circular absorbing patch of arbitrary size is a long-standing problem in chemical physics. In this Communication, we reveal limitations of…
We investigate classical strings defined by the Nambu-Goto action with the boundary term added. We demonstrate that the latter term has a significant bearing on the string dynamics. It is confirmed that new action terms that depend on…
We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$…
We give a sketch for an alternative proof of a recent result by J. Tseng.
We present examples of bounded planar domains with one single hole for which the nodal line of a second Dirichlet eigenfunction is closed and does not touch the boundary. This shows that Payne's nodal line conjecture can at most hold for…
In this article, we prove an explicit bound for $N(\sigma,T)$, the number of zeros of the Riemann zeta function satisfying $\sigma < \Re s <1 $ and $0 < \Im s < T$. This result provides a significant improvement over Rosser's bound for…
We extend the results of arXiv:1808.01509 on nonamalgamable forcing extensions to families of posets with wide projections. We also use a different coding method to obtain nonamalgamable extensions by filter-based Mathias forcing.
Writing the boundary integral equation for an exterior problem of elasticity is subordinate so far to hypotheses on the asymptotical behaviour at infinity of solutions. The sufficient conditions met in the literature are too restrictive and…
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…
What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are naturally formulated with modal logic. We aim to do for…
We give the proof of a tight lower bound on the probability that a binomial random variable exceeds its expected value. The inequality plays an important role in a variety of contexts, including the analysis of relative deviation bounds in…
We investigate the existence of bounded-memory consistent estimators of various statistical functionals. This question is resolved in the negative in a rather strong sense. We propose various bounded-memory approximations, using techniques…
We prove that the restriction of the vertex-reinforced jump process to a subset of the vertex set is a mixture of vertex-reinforced jump processes. A similar statement holds for the non-linear hyperbolic supersymmetric sigma model. This is…
A lower bound on the string tension for large beta in SU(2) LGT is derived. The derivation is from first principles and bounds the string tension from below by the expectation for the excitation of a single `tagged' thick vortex winding…
Bayesian priors offer a compact yet general means of incorporating domain knowledge into many learning tasks. The correctness of the Bayesian analysis and inference, however, largely depends on accuracy and correctness of these priors.…