Related papers: Extensional Independence
Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory $A$ can be characterised as the weakest statement $C$ over Peano Arithmetic such that ${\sf PA}+C$ interprets $A$. We study which…
We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…
Recently a class of inflationary models satisfying the constant rate of roll constraint, $\ddot{\phi}+(3+\alpha)H\dot{\phi}=0$, has been studied and compared with the latest cosmological observational data. We consider the broader class of…
Many proof assistants allow the use of features and axioms that increase their expressive power. However, these extensions must be used with care, as some combinations are known to lead to logical inconsistencies. Therefore, proof…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
Let $A$ be a homogeneous C*-algebra and $\phi$ a state on $A.$ We show that if $\phi$ satisfies a certain faithfulness condition, then there is a net of finite-rank, unital completely positive, $\phi$-preserving maps on $A$ that tend to the…
We develope the framework of transitional conditional independence. For this we introduce transition probability spaces and transitional random variables. These constructions will generalize, strengthen and unify previous notions of…
We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…
We determine necessary and sufficient conditions on the ring of differential operators of a finite purely inseparable field extension of positive characteristic for determining whether the extension is modular.
We consider several conjectures on the independence of $\ell$ of the \'etale cohomology of (singular, open) varieties over $\bar{\mathbf F}_p$. The main result is that independence of $\ell$ of the Betti numbers $h^i_{\text{c}}(X,\mathbf…
In this paper, we study a Landis-type conjecture for the general fractional Schr\"{o}dinger equation $((-P)^{s}+q)u=0$. As a byproduct, we also proved the additivity and boundedness of the linear operator $(-P)^{s}$ for non-smooth…
The helicity is a topological conserved quantity of the Euler equations which imposes significant constraints on the dynamics of vortex lines. In the compressible setting the conservation law only holds under the assumption that the…
We consider the problem of exact probabilistic inference for Union of Conjunctive Queries (UCQs) on tuple-independent databases. For this problem, two approaches currently coexist. In the extensional method, query evaluation is performed by…
We consider non-negative solutions to the semilinear space-fractional diffusion problem $(\partial_t+(-\Delta)^{\alpha/2})u=\rho(x)u^p$ on whole space $R^n$ with nonnegative initial data and with $(-\Delta)^{\alpha/2}$ being the…
We investigate the possibility of distinguishing among different causal relations starting from a limited set of marginals. Our main tool is the notion of adhesivity, that is, the extension of probability or entropies defined only on…
Let $f\colon(R,\mathfrak{m})\rightarrow S$ be a local homomorphism of Noetherian local rings. Consider two endomorphisms \textit{of finite length} (i.e., with zero-dimensional closed fibers) $\varphi\colon R\rightarrow R$ and $\psi\colon…
Given a symmetric, semi-bounded, second order elliptic differential operator on a bounded domain with $C^{1,1}$ boundary, we provide a Krein-type formula for the resolvent difference between its Friedrichs extension and an arbitrary…
Within the composite operator formalism we derive a formula for the pion decay constant $f_{\pi}$, as defined directly from the residue at the pion pole of the meson propagator, rather than from the matrix element of the axial current. The…
We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations $T^R$ of complete first order theories $T$. If algebraic and definable closure coincide in $T$,…
We study chiral expansion at $m_\rho$-scale in framework of chiral constituent quark model. The lowest vector meson resonsances are treated as composited fields of constituent quarks. We illustrate that, at energy scale of $\rho$-meson…