Related papers: Extensional Independence

Let $\rho\colon G\to \mathrm{GL}_2(K)$ be a continuous representation of a compact group $G$ over a complete discretely valued field $K$, with ring of integers $\mathcal O$ and uniformiser $\pi$. We prove that $\operatorname{tr}\rho$ is…

We prove that the Cohesiveness Principle (COH) is $\Pi^1_1$ conservative over $RCA_0 + I\Sigma^0_n$ and over $RCA_0 + B\Sigma^0_n$ for all $n \geq 2$ by recursion-theoretic means. We first characterize COH over $RCA_0 + B\Sigma^0_2$ as a…

We address the integrability conditions of the inverse problem of the calculus of variations for time-dependent SODE using the Spencer version of the Cartan-K\"ahler theorem. We consider a linear partial differential operator $P$ given by…

In this paper, we first establish the local well-posedness and continuous dependence for the rotation Camassa-Holm equation modelling the equatorial water waves with the weak Coriolis effect in nonhomogeneous Besov spaces $B^s_{p,r}$ with…

The Whitney near extension problem for finite sets in $\mathbb R^d,\, d\geq 2$ asks the following: Let $\phi:E\to \mathbb R^d$ be a near distortion on a finite set $E\subset \mathbb R^d$ with certain geometry. How to decide whether $\phi$…

In this paper, we first get a criterion formula for whether a differential form is holomorphic with respect to the generalized complex structure induced by $\epsilon$. Next, we get the local extensions of $\overline\partial$-closed forms on…

We prove a form of the $\cos \pi \rho$ theorem which gives strong estimates for the minimum modulus of a transcendental entire function of order zero. We also prove a generalisation of a result of Hinkkanen that gives a sufficient condition…

We identify a structural property of term-rewriting proof systems called operational inexpressibility: no derivation depends on a specified input dimension and also constrains the target question. The canonical instance is direct…

In this paper we establish, using variational methods combined with the Moser-Trudinger inequality, existence and multiplicity of weak solutions for a class of critical fractional elliptic equations with exponential growth without a…

We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the…

In general the multiplicity one theorem fails for Fourier-Jacobi models over finite fields. In this paper we prove that there is an upper bound for the multiplicities of Fourier-Jacobi models which is independent of $q$. As a consequence,…

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

We extend the theory of d-separation to cases in which data instances are not independent and identically distributed. We show that applying the rules of d-separation directly to the structure of probabilistic models of relational data…

This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, and $X$ an $R$--module. In this paper, for fixed integers $s, t$ and a finite $\fa$--torsion $R$--module $N$, we first study the membership of…

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…

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 $\mathcal{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R},<,+)$ by closed subsets of $\mathbb{R}^n$ and continuous functions $f : \mathbb{R}^m \to \mathbb{R}^n$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

Let S/R be a finite extension of discrete valuation rings of characteristic p>0, and suppose that the corresponding extension L/K of fields of fractions is separable and is H-Galois for some K-Hopf algebra H. Let D_{S/R} be the different of…

We continue our study of hydrodynamic models of self-organized evolution of agents with singular interaction kernel $\phi(x) = |x|^{-(1+\alpha)}$. Following our works \cite{ST2017a,ST2017b} which focused on the range $1\leq \alpha <2$, and…