相关论文: Continuous first order logic and local stability

The paper examines questions of local asymptotic stability of random dynamical systems. Results concerning stochastic dynamics in general metric spaces, as well as in Banach spaces, are obtained. The results pertaining to Banach spaces are…

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

In this paper, we consider the Q-tensor model of nematic liquid crystals, which couples the Navier-Stokes equations with a parabolic-type equation describing the evolution of the directions of the anisotropic molecules, in the half-space.…

We study three kinds of compactness in some variants of G\"odel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the…

In [Chu12], Church used representation stability to prove that the space of configurations of distinct unordered points in a closed manifold exhibit rational homological stability. A second proof was also given by Randal-Williams in [RW11]…

We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop extends (many-sorted) first-order logic with features that are…

In this paper, using the fixed point and direct methods, we prove the generalized Hyers-Ulam-Rassias stability of a Cauchy-Jensen additive functional equation in various normed spaces. The concept of Hyers-Ulam-Rassias stability originated…

Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary…

We prove homological stability for standard unitary groups over R, C and H and for general linear groups over skew-fields with infinite centre. We focus on the similarities and differences of these proofs. Both proofs are due to Chih-Han…

This work deals with Lipschitz stability for a parametric version of the general second order Ordinary Differential Equation (ODE) initial-value Cauchy problem. We first establish a Lipschitz stability result for this problem under a…

Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists…

Locality is a property of logics, based on Hanf's and Gaifman's theorems, and that was shown to be very useful in the context of finite model theory. In this paper I present a homotopic variation for locality, namely a Quillen model…

Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order sentences represent only one of the remarkable results.…

In this paper we derive a general linearized theory for first-order continuum dynamics on manifolds with particular application to incompatible elasticity. We adopt a global approach viewing the equations of motion as a $1$-form on the…

We revisit the work studying homomorphism preservation for first-order logic in sparse classes of structures initiated in [Atserias et al., JACM 2006] and [Dawar, JCSS 2010]. These established that first-order logic has the homomorphism…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is…

In this paper we investigate four concepts of exponential stability for difference equations in Banach spaces. Characterizations of these concepts are given. They can be considered as variants for the discrete-time case of the classical…

We are interested in the question of stability in the field of shape optimization, with focus on the strategy using second order shape derivative. More precisely, we identify structural hypotheses on the hessian of the considered shape…

This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…