相关论文: Minimal types in super-dependent theories
We are surrounded by spatio-temporal patterns resulting from the interaction of the numerous basic units constituting natural or human-made systems. In presence of diffusive-like coupling, Turing theory has been largely applied to explain…
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We…
Classical conditions for ensuring the robust stability of a linear system in feedback with a sector-bounded nonlinearity include small gain, circle, passivity, and conicity theorems. In this work, we present a similar stability condition,…
For any smooth projective variety $X$ of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$ with $\mu(\Omega^1_X)>0$. If ${\rm T}^{\ell}(\Omega^1_X)$ ($0<\ell<n(p-1)$) are semi-stable, then the sheaf $B^1_X$ of…
There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…
We use the geometric optics approximation to derive the stability criteria for the Rayleigh shearing instability and the magnetorotational instability. We examine the cases where each criterion is relevant by looking into the magnitude of…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…
We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.
This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank…
A framework for studying knot and link invariants from any rational conformal field theory is developed. In particular, minimal models, superconformal models and $W_N$ models are studied. The invariants are related to the invariants…
The characterization and mechanical stability of charged thin shells with spherical symmetry are analyzed in the context of Einstein-Born-Infeld theory. The study of stability is performed by considering linearized perturbations preserving…
Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…
Stability properties of magnetic-field configurations containing the toroidal and axial field are considered. The stability is treated by making use of linear analysis. It is shown that the conditions required for the onset of instability…
We discuss the consistency of a recently proposed class of theories described by an arbitrary function of the Ricci scalar, the trace of the energy-momentum tensor and the contraction of the Ricci tensor with the energy-momentum tensor. We…
Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…
Marker and Steinhorn shown that given two models $M\prec N$ of an o-minimal theory, if all 1-types over $M$ realized in $N$ are definable, then all types over $M$ realized in $N$ are definable. In this article we characterize pairs of…
We consider the general properties of effective field theories. We note that the freedom to fix the renormalization conditions in the effective field theory is not as great as it seems. The consideration of minimal requirements of…
A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…