Related papers: The Karp complexity of unstable classes
In this paper, we discuss the classification problem for linear time-invariant multivariable systems without control. It turns out that the observability and stability are invariant for topological equivalent systems. Abstract results…
The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…
We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…
It is an open problem of Mazari-Armida whether every abstract elementary class of $R$-modules $(\mathbf{K}, \leq_{\mathrm{pure}})$, with $\leq_{\mathrm{pure}}$ the pure submodule relation, is stable. We answer this question in the negative…
In this paper we study the controllability of the controlled Laguerre equation and the controlled Jacobi equation. For each case, we found conditions which guarantee when such systems are approximately controllable on the interval $[0,…
We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…
Boardman, Johnson, and Wilson gave a precise formulation for an unstable algebra over a generalized cohomology theory. Modifying their definition slightly in the case of complex K-theory by taking into account its periodicity, we prove that…
Does the class of linear orders have (one of the variants of) the so called (lambda, kappa)-limit model? It is necessarily unique, and naturally assuming some instances of G.C.H. we get some positive, i.e. existence results. More generally,…
The problems of optimizing the value of an arbitrary observable of the two-level system at both a fixed time and the shortest possible time is theoretically explored. Complete identification and classification along with comprehensive…
To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if…
The purpose of this paper is to study algebras of singular integral operators on $\mathbb{R}^{n}$ and nilpotent Lie groups that arise when one considers the composition of Calder\'on-Zygmund operators with different homogeneities, such as…
We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…
Let L be the manifold of all (unparametrized) oriented lines of R^3. We study the controllability of the control system in L given by the condition that a curve in L describes at each instant, at the infinitesimal level, an helicoid with…
We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…
We prove the exact controllability of linear KP-I equation if the control input is added on a vertical domain. More generally, we have obtained the least dispersion needed to insure observability for fractional linear KP I equation.
Minimal varying $\Lambda$ theories are defined by an action built from the Einstein-Cartan-Holst first order action for gravity with the cosmological constant $\Lambda$ as an independent scalar field, and supplemented by the Euler and…
In this paper, we prove that if $\kappa$ is a almost strongly compact cardinal, then any MAEC with L\"owenheim-Skolem number below $\kappa$ is $<\kappa$-d-tame.
Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…
In this paper we show that a complete characterization of the controllability property for linear control system on three-dimensional solvable nonnilpotent Lie groups is possible by the LARC and the knowledge of the eigenvalues of the…
Symmetry properties of the evolution equation and the state to be controlled are shown to determine the basic features of the linear control of unstable orbits. In particular, the selection of control parameters and their minimal number are…