Related papers: Counterexamples to countable-section $\varPi^1_2$ …
We prove that if there exists a simplified $(\omega_1,2)$-morass, then there is a ccc forcing which adds an $\omega_3$-chain in P($\omega_1$) mod finite and a ccc forcing which adds a family of $\omega_3$-many strongly almost disjoint…
A number of distributions that arise in statistical applications can be expressed in the form of a weighted density: the product of a base density and a nonnegative weight function. Generating variates from such a distribution may be…
We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we…
Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots…
We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…
We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption…
In this paper, we prove the following: If $n\ge3$, there is a generic extension of $L$ -- the constructible universe -- in which it is true that the Separation principle holds for both effective (lightface) classes $\varSigma^1_n$ and…
We present a general framework for forcing on $\omega_2$ with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial…
It is well known that the graph of a total $\mathbf{\Sigma}^1_n$-function is $\mathbf{\Pi}^1_n$. We prove the consistency of the dual assertion at the third projective level: there is a model of $\ZFC$ in which the graph of every total…
The $SU(3)_c\otimes SU(3)_L\otimes U(1)_N$ model of Pisano and Pleitez extends the Standard Model in a particularly nice way, so that for example the anomalies cancel only when the number of generations is divisible by three. The original…
Given two maps between smooth manifolds, the obstruction to removing their coincidences (via homotopies) is measured by minimum numbers. In order to determine them we introduce and study an infinite hierarchy of Nielsen numbers N_i, i = 0,…
We study the approximation of non-negative multi-variate couplings in the uniform norm while matching given single-variable marginal constraints.
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for $\Pi^1_1$-sets of positive measure to computability and semicomputability relative to the Suslin…
We study finite-sample inference for the trade-off function of two unknown probability distributions, the function that traces the optimal type I/type II error frontier in binary testing. Given samples from distributions $P$ and $Q$, we…
We discuss the $2+1$ dimensional description of the $\Phi_{1,3}$ deformation of the minimal model $M_p$ leading to a transition $M_p \rightarrow M_{p-1}$. The deformation can be considered as an addition of the charged matter to the…
We present new counterexamples, which provide stronger limitations to sums-differences statements than were previously known. The main idea is to consider non-uniform probability measures.
Jensen inequalities for positive linear maps of Choi and Hansen-Pedersen type are established for a large class of operator/matrix means. These results are also extensions of the Minkowski determinantal inequality. To this end we develop…
We consider a spatially non-autonomous discrete sine-Gordon equation with constant forcing and its continuum limit(s) to model a 0-$\pi$ Josephson junction with an applied bias current. The continuum limits correspond to the strong coupling…
Let P be a distinguished unary predicate and K= {M: M a model of cardinality aleph_n with P^M of cardinality aleph_0}. We prove that consistently for n=4, for some countable first order theory T we have: T has no model in K whereas every…
We prove upper and lower bounds for certain sums of products of fractional parts by using majoring and minorizing functions from Fourier analysis. In special cases the upper bounds are sharp if there exist counterexamples to the Littlewood…