Related papers: The fixed point and the Craig interpolation proper…
We establish a fixed point property for a certain class of locally compact groups, including almost connected Lie groups and compact groups of finite abelian width, which act by simplicial isometries on finite rank buildings with measurable…
We propose a method for interpolating non-abelian lattice gauge fields to the continuum, or to a finer lattice, which satisfies the properties of (i) transverse continuity, (ii) (lattice) rotation and translation covariance, (iii) gauge…
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.
Fractal interpolation technique is an alternative to the classical interpolation methods especially when a chaotic signal is involved. The logic behind the formulation of an iterated function system for the construction of fractal…
Finding solution values for unknowns in Boolean equations was a principal reasoning mode in the Algebra of Logic of the 19th century. Schr\"oder investigated it as Aufl\"osungsproblem (solution problem). It is closely related to the modern…
Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs with negation and boolean context-free grammars. We prove…
We consider properties of solitons in general orbifolds in the algebraic quantum field theory framework and constructions of solitons in affine and permutation orbifolds. Under general conditions we show that our construction gives all the…
We study the problem of $P$-interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$-interpolating terms, we use a hierarchic approach: This allows us to…
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$.…
We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logics serve as the intuitionistic counterparts of classical…
Interpolation-based methods are well-established and effective approaches for the efficient generation of accurate reduced-order surrogate models. Common challenges for such methods are the automatic selection of good or even optimal…
Our objective in this series of two articles, of which the present article is the first, is to give a Perrin-Riou-style construction of $p$-adic $L$-functions (of Bella\"iche and Stevens) over the eigencurve. As the first ingredient, we…
We present a simple method based on the stability and duality of the properties of sampling and interpolation, which allows one to substantially simplify the proofs of some classical results.
Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…
There are many physically interesting superconformal gauge theories in four dimensions. In this talk I discuss a common phenomenon in these theories: the existence of continuous families of infrared fixed points. Well-known examples include…
Logic programming with fixed-point definitions is a useful extension of traditional logic programming. Fixed-point definitions can capture simple model checking problems and closed-world assumptions. Its operational semantics is typically…
For a fixed pair and fixed exponents, we prove the discreteness of log discrepancies over all log canonical triples formed by attaching a product of ideals with given exponents.
Over an algebraically closed field of positive characteristic, there exist rational functions with only one critical point. We give an elementary characterization of these functions in terms of their continued fraction expansions. Then we…
We study the fixed point subalgebra of a certain class of lattice vertex operator algebras by an automorphism of order 3, which is a lift of a fixed-point-free isometry of the underlying lattice. We classify the irreducible modules for the…
We show how Pick interpolation and interpolation on peak interpolation sets can be combined in an abstract uniform algebra setting. In particular as a special case, the Rudin-Carleson theorem can be combined with the classical Pick…