搜索结果: 1-14 共查到“数理逻辑与数学基础 stable”相关记录14条 . 查询时间(0.1 秒)
Data compression and definability of types in stable and dependent formulas
Data compression formulas
2015/9/28
Data compression and definability of types in stable and dependent formulas.
Compression schemes, stable definable families, and o-minimal structures
Compression schemes stable definable families o-minimal structures
2015/9/28
We show that any family of sets uniformly definable in an ominimal
structure has an extended compression scheme of size equal
to the number of parameters in the defining formula.
Borel completeness of some aleph_0 stable theories
Borel completeness some aleph_0 stable theories
2015/9/25
We study ℵ0-stable theories, and prove that if T either has eniDOP
or is eni-deep, then its class of countable models is Borel complete.
We introduce the notion of λ-Borel completeness and pro...
ω-stable theories: Do uncountable languages matter?
ω-stable theories uncountable languages matter
2015/9/25
ω-stable theories: Do uncountable languages matter?
An old friend revisited: Countable models of ω-stable theories
Countable models ω-stable theories
2015/9/25
We work in the context of ω-stable theories. We obtain a natural,
algebraic equivalent of ENI-NDOP and discuss recent joint proofs with
S. Shelah that if an ω-stable theory has either ENI-DOP or is ...
We characterize the stable theories T for which the saturated
models of T admit decompositions. In particular, we show that
countable, shallow, stable theories with NDOP have this property.
Every countable, strictly stable theory either has the Dimensional
Order Property (DOP), is deep, or admits an ‘abelian group witness
to unsuperstability’. To obtain this and other results, we devel...
Fluctuations of stable processes and exponential functionals of hypergeometric Levy processes
Hypergeometric L´ evy processes Lamperti-stable processes exponential functional
2011/1/18
We study the distribution and various properties of exponential functionals of hypergeometric
L´evy processes. We derive an explicit formula for the Mellin transform of the exponential function...
On complete stable minimal surfaces in 4-manifolds with positive isotropic curvature
minimal surfaces 4-manifolds positive isotropic curvature
2010/11/12
We prove the nonexistence of stable immersed minimal surfaces uniformly conformally equivalent to the complex plane in any complete orientable four-dimensional Riemannian manifold with uniformly posi...
Let $(X,\mathcal{O}_X(1))$ be a polarized smooth projective variety over the complex numbers. Fix $\mathcal{D}\in \mathrm{coh}(X)$ and a nonnegative rational polynomial $\delta$. Using GIT we contruct...
In this paper we construct new examples of stable bundles of rank 2 of small degree with 4 sections on a smooth irreducible curve of maximal Clifford index. The corresponding Brill-Noether loci have n...
Intersection of stable and unstable manifolds for invariant Morse functions
unstable manifolds invariant Morse functions
2010/11/19
We study the structure of the smooth manifold which is defined as the intersection of a stable manifold and an unstable manifold for an invariant Morse-Smale function.
We prove that existence of a k-rational point can be detected by the stable A^1-homotopy category of S^1-spectra
Convex Optimization In Identification Of Stable Non-Linear State Space Models
Convex Optimization Identification Stable Non-Linear State Space Models
2010/12/1
A new framework for nonlinear system identification is presented in terms of optimal fitting of stable nonlinear state space equations to input/output/state data, with a performance objective defined ...