Related papers: Bilinear spaces over a fixed field are simple unst…

We observe that a simple condition suffices to describes non-forking independence over models in a stable theory. Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets,…

Let V be a finite-dimensional vector space over a field k and let W be a 1-dimensional k-vector space. Let < , >: V x V \to W be a symmetric bilinear form. Then < , > is called anisotropic if for all nonzero v \in V we have <v,v> \neq 0.…

We give several new characterizations of $IP$ (the independence property) and $SOP$ (the strict order property) for continuous first order logic and study their relations to the function theory and the Banach space theory. We suggest new…

Stability analysis of the Bianchi type I universe in pure gravity theory is studied in details. We first derive the non-redundant field equation of the system by introducing the generalized Bianchi type I metric. This non-redundant equation…

We consider linear control systems of the form $\dot{y}(t)=Ay(t)-\mu B C y(t)$ where $\mu$ is a positive real parameter, $A$ is the state operator and generates a linear $C_0-$semigroup of contractions $S(t) $ on a Banach space $X$, $B$ and…

A classical theorem of Wonenburger, Djokovic, Hoffmann and Paige states that an element of the general linear group of a finite-dimensional vector space is the product of two involutions if and only if it is similar to its inverse. We give…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

Lindstr\"om's Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward L\"owenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious…

Carrying out perturbations around a lattice topological field theory in two dimensions, we show that it is on a first order phase transition fixed point with multiplicity ${n(n-1)/2}$, where $n$ is the number of its independent physical…

We consider the set of bimodal linear systems consisting of two linear dynamics acting on each side of a given hyperplane, assuming continuity along the separating hyperplane. Focusing on the unobservable planar ones, we obtain a simple…

We study the well-posedness and stability of an impedance passive infinite-dimensional linear system under nonlinear feedback of the form $u(t)=\phi(v(t)-y(t))$, where $\phi$ is a monotone function. Our first main result introduces…

We investigate robust Orlicz spaces as a generalisation of robust $L^p$-spaces. Two constructions of such spaces are distinguished, a top-down approach and a bottom-up approach. We show that separability of robust Orlicz spaces or their…

We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples,…

We propose an extension of the classical variational theory of evolution equations that accounts for dynamics also in possibly non-reflexive and non-separable spaces. The pivoting point is to establish a novel variational structure, based…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Motivated by a real problem in steel production, we introduce and analyze a general class of singularly perturbed linear hybrid systems with both switches and impulses, in which the slow or fast nature of the variables can be…

We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence…

We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to the induced successor relations of two finite linear orders. We show that the problem is decidable in NEXPTIME.

Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type…

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…