Related papers: The generalized continuous model theory, Borel com…
Let $G$ be a locally compact second countable group equipped with an admissible non-degenerate Borel probability measure $\mu$. We generalize the notion of $\mu$-stationary systems to $\mu$-stationary $G$-factor maps $\pi: (X,\nu)\to…
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…
We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…
We study the degrees of freedom in New General Relativity -- flat and metric compatible family of theories -- around the Minkowski background in a gauge invariant manner. First, we confirm the decoupling case, in which the theory reduces to…
For dynamical systems of dimension three or more the question of integrability or nonintegrability is extended by the possibility of chaotic behaviour in the general solution. We determine the integrability of isotropic cosmological models…
The properties of a generalized version of the Borel Transform in infrared unstable theories with dynamical mass generation are studied. The reconstruction of the nonperturbative structure is unambiguous in this version. Various methods for…
We survey several generalizations of the Weyl algebra including generalized Weyl algebras, twisted generalized Weyl algebras, quantized Weyl algebras, and Bell-Rogalski algebras. Attention is paid to ring-theoretic properties,…
This paper studies linear generalised complex structures over vector bundles, as a generalised geometry version of holomorphic vector bundles. In an adapted linear splitting, a linear generalised complex structure on a vector bundle $E\to…
We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\pmb\Pi_\omega^0$-complete set of models. In…
The goal of this article is twofold. First, we investigate the linearized Vlasov-Poisson system around a family of spatially homogeneous equilibria in $\mathbb{R}^3$ (the unconfined setting). Our analysis follows classical strategies from…
Lyapunov's theorem provides a foundational characterization of stable equilibrium points in dynamical systems. In this paper, we develop a framework for stability for F-coalgebras. We give two definitions for a categorical setting in which…
We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax…
The analytic and formal solutions to a family of singularly perturbed partial differential equations in the complex domain involving two complex time variables are considered. The analytic continuation properties of the solution of an…
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…
We propose a framework for model-theoretic stability and simplicity in an approximate first-order setting and generalize some classical results.
As a first approach to the study of systems coupling finite and infinite dimensional natures, this article addresses the stability of a system of ordinary differential equations coupled with a classic heat equation using a Lyapunov…
It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle $E_{d_1,...,d_n}$ on $\mathbb{P}^N$ defined as the kernel of a general epimorphism \[\phi:\mathcal{O}(-d_1)\oplus...\oplus\mathcal{O}(-d_n)…
We investigate the stability of boundary layer solutions of the two-dimensional incompressible Navier-Stokes equations. We consider shear flow solutions of Prandtl type : $$ u^\nu(t,x,y) \, = \, \big (U^E(t,y) +…
In this paper, we deal with the classification complexity of continuous (Devaney) chaotic systems in dimensions $0,1$ and $\infty$ using the framework of invariant descriptive set theory. We identify the complexity in dimensions $0$ and…
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…