Related papers: Retractors in local positive logic

We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Meet-simulations distinguish themselves from simulations…

This paper considers the question of which continua are 2-to-1 retracts of continua.

We derive positivity bounds on EFT coefficients in theories where boosts are spontaneously broken. We employ the analytic properties of the retarded Green's function of conserved currents (or of the stress-energy tensor) and assume the…

This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…

The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…

A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic. The interpretation makes it possible to extract programs with…

We study loop near-rings, a generalization of near-rings, where the additive structure is not necessarily associative. We introduce local loop near-rings and prove a useful detection principle for localness.

We treat interpolation for various logics.

Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify…

We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…

We compute the rational motive of the stack of local $G$-shtukas, for a split reductive group $G$, representing compactly supported cohomology in terms of the motive of the stack of $G$-zips. This result makes explicit use of the truncated…

The unitary representation theory of locally compact contraction groups and their semi-direct products with $\mathbb{Z}$ is studied. We put forward the problem of completely characterising such groups which are type I or CCR and this…

The study of nonlocal operators of fractional type possesses a long tradition, motivated both by mathematical curiosity and by real world applications...

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

We apply compact group theory to obtain some model-theoretic results about the relativized Lascar Galois group of a strong type.

In this paper we introduce and study the local quiver as a tool to investigate the etale local structure of moduli spaces of theta-stable representations of quivers. As an application we determine the dimension vectors associated to…

Given a class C of word languages, the C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the…

For the kinetic energy of 1d model finite systems the leading corrections to local approximations as a functional of the potential are derived using semiclassical methods. The corrections are simple, non-local functionals of the potential.…

We derive positivity bounds on low energy effective field theories which admit gapped, analytic, unitary, Lorentz invariant, and possibly non-local UV completions, by considering 2 to 2 scatterings of Jaffe fields whose…

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain which can be compared wrt. equality. As the satisfiability problem for this logic is undecidable in general, in…