Related papers: Approximate equivalence relations

We study preservation theorems for modal logics over finite structures with respect to three fundamental semantic relations: embeddings, injective homomorphisms, and homomorphisms. We focus on classes of pointed Kripke models that are…

Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding…

Building on the work of \.{I}nan and of Almahariq--Peters--Vergili, we develop an axiomatic framework for approximate algebra based on an algebra-compatible closure operator $\Phi^{\!*}$ on a unital ring. The operator is assumed to be…

Probabilistic programming combines general computer programming, statistical inference, and formal semantics to help systems make decisions when facing uncertainty. Probabilistic programs are ubiquitous, including having a significant…

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…

We study infinite approximate subgroups of soluble Lie groups. Generalising a theorem of Fried and Goldman we show that approximate subgroups are close, in a sense to be defined, to genuine connected subgroups. Building up on this result we…

Proximity gaps and correlated agreement have become central tools in the analysis of interactive oracle proofs of proximity (IOPPs) and code-based SNARKs. Informally, a proximity-gap statement says that for a structured set of words -- such…

We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…

Multivariate sample spaces may be incomplete Cartesian products, when certain combinations of the categories of the variables are not possible. Traditional log-linear models, which generalize independence and conditional independence, do…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts…

We study post-Lie algebra structures on pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$, motivated by nil-affine actions of Lie groups. We prove existence results for such structures depending on the interplay of the algebraic…

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz…

The problem of determining whether a probabilistic program terminates almost surely (i.e.~with probability one) is undecidable, and actually $\Pi^0_2$-complete. For this reason, a growing literature has explored classes of programs for…

In Remarks on Galois Cohomology and Definability [2], Pillay introduced definable Galois cohomology, a model-theoretic generalization of Galois cohomology. Let $M$ be an atomic and strongly $\omega$-homogeneous structure over a set of…

In this paper we introduce a new homology theory devoted to the study of families such as semi-algebraic or subanalytic families and in general to any family definable in an o-minimal structure (such as Denjoy-Carleman definable or $ln-exp$…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…

Building upon work of Y. Shalom we give a homological-algebra flavored definition of an induction map in group homology associated to a topological coupling. As an application we obtain estimates of the (co)homological dimension of groups G…

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…