Related papers: Retractors in local positive logic

We consider an extension of linear-time temporal logic (LTL) with both local and remote data constraints interpreted over a concrete domain. This extension is a natural extension of constraint LTL and the Temporal Logic of Repeating Values,…

In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue…

In this paper we consider composition operators on locally convex spaces of functions defined on $\mathbb{R}$. We prove results concerning supercyclicity, power boundedness, mean ergodicity and convergence of the iterates in the strong…

We classify and investigate locally conformally K\"ahler structures on four-dimensional solvable Lie algebras up to linear equivalence. As an application we can produce many examples in higher dimension, here including lcK structures on…

Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two methods to learn LTL formulas from examples in two different…

Let $p$ be a prime number. Motivated by the local lifting problem for $(\mathbb{Z}/p\mathbb{Z})^n$ with $n>1$, we prove several new results on certain $\mathbb{F}_p$-vector spaces of logarithmic differential forms on the projective line in…

Positive systems naturally arise in situations where the model tracks physical quantities. Although the linear case is well understood, analysis and controller design for nonlinear positive systems remain challenging. Model reduction…

In this note, we investigate some topological properties of probabilistic modular spaces.

We import ideas from geometry to settle Sarnak's saturation problem for a large class of algebraic varieties.

We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This…

We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and…

The main focus of this paper is to study multi-valued linear monotone operators in the contexts of locally convex spaces via the use of their Fitzpatrick and Penot functions. Notions such as maximal monotonicity, uniqueness,…

Inspired by the results obtained in \cite{SR}, in this work, we develop techniques to handle the contraction property for weak normalization and Lipschitz saturation of algebras for the following types of algebras: universally injective,…

The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties.…

We propose a novel application of self-attention networks towards grammar induction. We present an attention-based supertagger for a refined type-logical grammar, trained on constructing types inductively. In addition to achieving a high…

We investigate connections between local tameness of a group and a number of its ends.

We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…

We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

We construct the Bruhat-Tits stratification of the reduced basic locus of regular ramified unitary Rapoport-Zink spaces of signature $(n\!-\!1,1)$ at vertex-stabilizer level. To study the Bruhat-Tits strata, we introduce strata…