Related papers: Extensional Independence
We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…
We add an analytic trans-exponential function $\varphi$ to $\mathbb{R}_{an,\exp}$. We reduce the o-minimality of $\mathbb{R}_{an,\exp,\varphi}$ to the existence of "many" regular values for some definable systems of functions, which is a…
We study possible noncommutative (operator algebra) variants of the classical Hoffman-Rossi theorem from the theory of function algebras. In particular we give a condition on the range of a contractive weak* continuous homomorphism defined…
Let $T$ be an o-minimal theory expanding $\mathrm{RCF}$ and $T_\mathrm{convex}$ be the common theory of its models expanded by predicate for a non-trivial $T$-convex valuation ring. We call an elementary extension $(\mathbb{E}, \mathcal{O})…
When ${\cal{D}}$ is a linear partial differential operator of any order, a direct problem is to look for an operator ${\cal{D}}_1$ generating the compatibility conditions (CC) ${\cal{D}}_1\eta=0$ of ${\cal{D}}\xi=\eta$. We may thus…
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
In this paper, we introduce and analyse an explicit formulation of fractional powers of the parabolic Lam\'e operator $\mathbb{H}$ and we then study the extension problem associated to such non-local operators. We also study the various…
Inspired by a recent work of D. Wei--S. Zhu on the extension of closed complex differential forms and Voisin's usage of the $\partial\bar{\partial}$-lemma, we obtain several new theorems of deformation invariance of Hodge numbers and…
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…
We show that, under certain regularity assumptions, there exists a linear extension operator.
Mathematical structure of the reflection coefficients for the one-dimensional Fokker-Planck equation is studied. A new formalism using differential operators is introduced and applied to the analysis in high- and low-energy regions.…
Let $K$ be a local field with residue characteristic $p$ and let $L/K$ be a totally ramified extension of degree $p^k$. In this paper we show that if $L/K$ has only two distinct indices of inseparability then there exists a uniformizer…
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in…
This paper is concerned with the characterizations of the Friedrichs extension for a class of singular discrete linear Hamiltonian systems. The existence of recessive solutions and the existence of the Friedrichs extension are proved under…
Why do division and cohesion often intensify together? This paper develops a static structural theory of relation maintenance based on minimal positional constraints. Rather than relying on utility-based or probabilistic models, social…
In this note, we show that, despite the widespread assumption, the consistency formula for Peano Arithmetic PA, Con(PA), "for all x, x is not a code of a derivation of (0=1)," is not equivalent in PA to the consistency of PA. Specifically,…
In this paper, we study the non-singular extension problem of horizontal stable fold maps. This problem asks what conditions ensure the existence of a submersion whose restriction to the boundary coincides with a given map, called a…
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…
In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a…
A criterion for comonadicity of the extension-of- scalars functor associated to an extension of (not necessarily commutative) rings is given. As an application of this criterion, some known results on the comonadicity of such functors are…