Related papers: Robustness of Equations Under Operational Extensio…
Let $p>1$. The Harnack inequality and H\"older continuity for $p$-harmonic functions in bounded domains in $\mathbb{R}^d$ are usually proved via Moser iteration. In 2013 Luiro, Parviainen and Saksman showed that tug-of-war games can also be…
Data refinement is the standard extension of a refinement relation from programs to datatypes (i.e. a behavioural subtyping relation). Forward/backward simulations provide a tractable method for establishing data refinement, and have been…
Normal form bisimilarities are a natural form of program equivalence resting on open terms, first introduced by Sangiorgi in call-by-name. The literature contains a normal form bisimilarity for Plotkin's call-by-value $\lambda$-calculus,…
We employ weakly nonlinear theory to derive an amplitude equation for the conserved-Hopf instability, i.e., a generic large-scale oscillatory instability for systems with two conservation laws. The resulting equation represents in the…
Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…
We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…
We examine robustness of exponential dichotomies of boundary value problems for general linear first-order one-dimensional hyperbolic systems. The boundary conditions are supposed to be of types ensuring smoothing solutions in finite time,…
In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…
In this article, stimulated by the effectiveness in Berndtsson's solution of the openness conjecture and continuing our solution of Demailly's strong openness conjecture, we discuss conditions to guarantee the effectiveness of the…
In this paper, we introduce the notions of $p$-Hermitian-symplectic and $p$-pluriclosed compact complex manifolds as generalisations for an arbitrary positive integer $p$ not exceeding the complex dimension of the manifold of the standard…
This paper studies the stability properties of stochastic differential equations subject to persistent noise (including the case of additive noise), which is noise that is present even at the equilibria of the underlying differential…
We studied how the local topological structure of sentence-embedding neighborhoods encodes semantic ambiguity. Extending ideas that link word-level polysemy to non-trivial persistent homology, we generalized the concept to full sentences…
Bilateralism is the position according to which assertion and rejection are conceptually independent speech acts. Logical bilateralism demands that systems of logic provide conditions for assertion and rejection that are not reducible to…
We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which programs may occur as labels, and which may rely on operations…
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational…
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…
Given a dissipative operator $A$ on a complex Hilbert space $\mathcal{H}$ such that the quadratic form $f\mapsto \mbox{Im}\langle f,Af\rangle$ is closable, we give a necessary and sufficient condition for an extension of $A$ to still be…
Confidence bands are confidence sets for an unknown function f, containing all functions within some sup-norm distance of an estimator. In the density estimation, regression, and white noise models, we consider the problem of constructing…
Nominal algebra includes $\alpha$-equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nominal unification is decidable and unitary, however, its…
Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling…