Related papers: Neostability transfers in derivation-like theories
Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability…
Persistence modules stratify their underlying parameter space, a quality that make persistence modules amenable to study via invariants of stratified spaces. In this article, we extend a result previously known only for one-parameter…
We make two contributions to the study of theory combination in satisfiability modulo theories. The first is a table of examples for the combinations of the most common model-theoretic properties in theory combination, namely stable…
Reconsideration of the T-duality of the open string allows us to introduce some geometric features in non-geometric theories. First, we have found what symmetry is T-dual to the local gauge transformations. It includes transformations of…
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to…
The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…
Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…
We prove that if $A,B$ are compact subsets of $\mathbb{R}$ such that the upper density of $B$ is positive at every point of $B$, then there is a closed null set $N\subset A$ such that $N+B=A+B$. As a corollary we find that if $A,B\subset…
We provides some new equivalent forms of collection principle over some very weak set theories after reviewing the existing ones.
We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation…
For a complete, stable theory $T$ we construct, in a reasonably canonical way, a related stable theory $T^*$ which has higher independent amalgamation properties over the algebraic closure of the empty-set. The theory $T^*$ is an algebraic…
We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience to adversarial behaviour. We formalise the notions of system,…
The purpose of this paper is to define some notions of movability for morphisms of inverse systems which extend the movability properties of inverse systems and which are compatible with the equivalence relations which define pro-morphisms…
We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…
These notes develop the foundations of Milnor-Witt K-theory for fields of arbitrary characteristic, without any perfectness assumptions. Extending the work of Morel and Feld, we establish all functorial properties of Milnor-Witt K-theory…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
Human beings learn causal models and constantly use them to transfer knowledge between similar environments. We use this intuition to design a transfer-learning framework using object-oriented representations to learn the causal…
Diffusion models are a class of generative models that serve to establish a stochastic transport map between an empirically observed, yet unknown, target distribution and a known prior. Despite their remarkable success in real-world…