Related papers: A Dividing Line Within Simple Unstable Theories
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…
A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and R\o rdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the…
Unstable particles rarely feature in conjunction with integrability in 1+1D quantum field theory. However, the family of homogenous sine-Gordon models provides a rare example where both stable and unstable bound states are present in the…
In this paper, we establish two stability theorems for steady or traveling solutions of the two-dimensional incompressible Euler equation in a finite periodic channel, extending Arnold's classical work from the 1960s. Compared to Arnold's…
Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought…
Two discretizations, linear and nonlinear, of basic notions of the complex analysis are considered. The underlying lattice is an arbitrary quasicrystallic rhombic tiling of a plane. The linear theory is based on the discrete Cauchy-Riemann…
We consider the Rayleigh-Taylor problem for two compressible, immiscible, inviscid, barotropic fluids evolving with a free interface in the presence of a uniform gravitational field. After constructing Rayleigh-Taylor steady-state solutions…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
The manuscript is concerned with the Rudin-Keisler order of ultrafilters on measurable cardinals. The main theorem proved read as follows: Given regular cardinals $\lambda\leq \kappa$, the following theories are equiconsistent modulo ZFC:…
The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…
The characteristics of the model dynamics are critical in the performance of (ensemble) Kalman filters. In particular, as emphasized in the seminal work of Anna Trevisan and co-authors, the error covariance matrix is asymptotically…
Linear stability of inviscid, parallel, and stably stratified shear flow is studied under the assumption of smooth strictly monotonic profiles of shear flow and density, so that the local Richardson number is positive everywhere. The…
This paper explores the fundamental limits of a simple system, inspired by the intermittent Kalman filtering model, where the actuation direction is drawn uniformly from the unit hypersphere. The model allows us to focus on a fundamental…
We consider a family of conforming space-time discretizations for the wave equation based on a first-order-in-time formulation employing maximal regularity splines. In contrast with second-order-in-time formulations, which require a CFL…
Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I…
In this paper, we study the linear stability of boundary layer flows over a flat plate. Tollmien, Schlichting, Lin et al. found that there exists a neutral curve, which consists of two branches: lower branch $\alpha_{low}(Re)$ and upper…
Particles in pressure-driven channel flow are often inhomogeneously distributed. Two modes of low-Reynolds number instability, absent in Poiseuille flow of clean fluid, are created by inhomogeneous particle loading, and their mechanism is…
This paper reports a breakdown in linear stability theory under conditions of neutral stability that is deduced by an examination of exponential modes of the form $h\approx {{e}^{i(kx-\omega t)}}$, where $h$ is a response to a disturbance,…
We construct a perturbation theory which we conjecture to be free of the Coulomb-phase infrared divergence. This perturbation theory is developed for one of the simplest yet prototypical scattering amplitudes which would otherwise exhibit…