Related papers: Retractors in local positive logic
We discuss some examples that illustrate the countability of the positive rational numbers and related sets. Techniques include radix representations, Godel numbering, the fundamental theorem of arithmetic, continued fractions, Egyptian…
Through a study of torsion functors of local cohomology modules we improve some non-finiteness results on the top non-zero local cohomology modules with respect to an ideal.
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing an endofunctor $T': Pos\to Pos$ from an endofunctor $T:…
In this article, using the language of jet space, we propose a functional class space for pseudo-local functionals. We test this functional class proposal in a number of examples ranging from string-field-theory to AdS/CFT dualities.…
We consider weighted structures, which extend ordinary relational structures by assigning weights, i.e. elements from a particular group or ring, to tuples present in the structure. We introduce an extension of first-order logic that allows…
We provide a corrector theory for the strong approximation of fields inside composites made from two materials with different power law behavior. The correctors are used to develop bounds on the local singularity strength for gradient…
We show that the classifying space of a $p$-local compact group is approximated by a telescope of classifying spaces of $p$-local finite groups. This result has numerous implications, like a Stable Elements Theorem for $p$-local compact…
Refection Positivity is a central theme at the crossroads of Lie group representations, euclidean and abstract harmonic analysis, constructive quantum field theory, and stochastic processes. This book provides the first presentation of the…
We study the locus of fixed points of a torus action on a GIT quotient of a complex vector space by a reductive complex algebraic group which acts linearly. We show that, under the assumption that $G$ acts freely on the stable locus, the…
We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of…
We investigate some types of composition operators, linear and not, and conditions for some spaces to be mapped into themselves and for the operators to satisfy some good properties.
We study Schroder paths drawn in a (m,n) rectangle, for any positive integers m and n. We get explicit enumeration formulas, closely linked to those for the corresponding (m,n)-Dyck paths. Moreover we study a Schroder version of…
Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most classical abstract interpretation-based type analyzers for…
In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the…
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an…
We describe the basic lattice structures of attractors and repellers in dynamical systems. The structure of distributive lattices allows for an algebraic treatment of gradient-like dynamics in general dynamical systems, both invertible and…
We study a relation between brick $n$-tuples of subspaces of a finite dimensional linear space, and irreducible $n$-tuples of subspaces of a finite dimensional Hilbert (unitary) space such that a linear combination, with positive…
The paper studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. We illustrate the use of differential positivity on compact forward invariant sets for the characterization…
We use the iterates of the Laguerre operator to introduce Pilipovi\'c spaces on positive orthants. It is shown that such spaces coincide with $G-$type spaces $g_\alpha^\alpha(\mathbb{R}^d_+)$ and $G_\alpha^\alpha(\mathbb{R}^d_+)$, when…