Related papers: On perturbations of continuous structures
A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered…
We give sufficient conditions for the following problem: given a topological space X, a metric space Y, a subspace Z of Y, and a continuous map f from X to Y, is it possible, by applying to f an arbitrarily small perturbation, to ensure…
In this article,we investigate some features of the perturbation theory in spatially closed universe. We will show that the perturbative field equations in a spatially closed universe always have two independent adiabatic solutions provided…
We settle several questions regarding the model theory of Nakano spaces left open by the PhD thesis of Pedro Poitevin \cite{Poitevin:PhD}. We start by studying isometric Banach lattice embeddings of Nakano spaces, showing that in dimension…
Motivated by first-order conditions for extremal bodies of geometric functionals, we study a functional analytic notion of infinitesimal perturbations of convex bodies and give a full characterization of the set of realizable perturbations…
The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…
We study the compact perturbations of an isometry on a separable Hilbert space and provide a complete characterization of when they are quasinormal. Based on that, we present a complete classification for a rank-one perturbation of a…
In this paper we provide a comprehensive study of statistical inference in linear and allied models which exhibit some analytic perturbations in their design and covariance matrices. We also indicate a few potential applications. In the…
We prove that any non-complete orthonormal system in a Hilbert space can be transformed into a basis by small perturbations.
In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of…
We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…
The first well founded perturbation theory for classical solid systems is presented. Theoretical approaches to thermodynamic and structural properties of the hard-sphere solid provide us with the reference system. The traditional…
Different types of reasoning impose different structural demands on representational systems, yet no systematic account of these demands exists across psychology, AI, and philosophy of mind. I propose a framework identifying four structural…
Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…
A method is suggested for treating those complicated physical problems for which exact solutions are not known but a few approximation terms of a calculational algorithm can be derived. The method permits one to answer the following rather…
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…
We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…
We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…
We present a new route to ergodicity breaking via Hilbert space fragmentation that displays an unprecedented level of robustness. Our construction relies on a single emergent (prethermal) conservation law. In the limit when the conservation…