Related papers: On a Question of Hamkins'

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

We consider the following fundamental problems: (1) Constructing $k$-independent hash functions with a space-time tradeoff close to Siegel's lower bound. (2) Constructing representations of unbalanced expander graphs having small size and…

We study a general Scalar-Tensor Theory with an arbitrary coupling funtion $\omega (\phi )$ but also an arbitrary dependence of the ``gravitational constant'' $G(\phi )$ in the cases in which either one of them, or both, do not admit an…

This paper follows on from our previous work, where we introduced the notion of \emph{confined extensions}, and our purpose is to widen the context in which such extensions appear. We do so in the setup of Poisson suspensions: we take a…

We prove extension of a di-bar-closed, smooth, form from the intersection of a pseudoconvex domain with a complex hyperplane to the whole domain. The extension form is di-bar-closed, has harmonic coefficients and its L^2-norm is estimated…

We consider an abstract system of Timoshenko type $$ \begin{cases} \rho_1{{\ddot \varphi}} + a A^{\frac12}(A^{\frac12}\varphi + \psi) =0\\ \rho_2{{\ddot \psi}} + b A \psi + a (A^{\frac12}\varphi + \psi) - \delta A^\gamma {\theta} = 0\\…

I review the classical conclusions drawn from Goedel's meta-reasoning establishing an undecidable proposition GUS in standard PA. I argue that, for any given set of numerical values of its free variables, every recursive arithmetical…

While the asymptotic Borel mapping, sending a function into its series of asymptotic expansion in a sector, is known to be surjective for arbitrary openings in the framework of ultraholomorphic classes associated with sequences of rapid…

We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending ${\sf RCA}_0$ and axiomatizable by a…

Let F be a totally real field, v an unramified place of F dividing p and rho a continuous irreducible two-dimensional mod p representation of G_F such that the restriction of rho to G_{F_v} is reducible and sufficiently generic. If rho is…

In this note, we construct a distal expansion for the structure $(\mathbb{R}; +,<,H)$, where $H\subseteq \mathbb{R}$ is a dense $\mathbb{Q}$-vector space basis of $\mathbb{R}$ (a so-called Hamel basis). Our construction is also an expansion…

We prove conservativity results for weak K\H{o}nig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form…

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

For a smooth surface X over an algebraically closed field of positive characteristic, we consider the ramification of an Artin-Schreier extension of X. A ramification at a point of codimension 1 of X is understood by the Swan conductor. A…

We prove the split property for any finite helicity free quantum fields. Finite helicity Poincar\'e representations extend to the conformal group and the conformal covariance plays an essential role in the argument. The split property is…

This thesis studies the extension problem for higher-order fractional powers of the heat operator $H=\Delta-\partial_t$ in $\mathbb{R}^{n+1}$. Specifically, given $s>0$ and indicating with $[s]$ its integral part, we study the following…

We continue our study started in "On a problem of Janusz Matkowski and Jacek Weso{\l}owski" (see arXiv:1703.08459) of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=0}^{N}\varphi(f_n(0))…

In this paper we prove the following theorem. Let L/\Q_p be a finite extension with ring of integers O_L and maximal ideal lambda. Theorem 1. Suppose that p >= 5. Suppose also that \rho:G_\Q -> GL_2(O_L) is a continuous representation…

We study finitely homogeneous dependent rosy structures, adapting results of Cherlin, Harrington, and Lachlan proved for $\omega$-stable $\omega$-categorical structures. In particular, we prove that such structures have finite {\th}-rank…

Historically, proofs of $\mathrm{BPI}$ in models without choice have relied on a contradiction framework that was introduced by Halpern. We introduce the filter extension property for permutation models and symmetric extensions, which…