搜索结果: 1-14 共查到“数理逻辑与数学基础 minimal”相关记录14条 . 查询时间(0.061 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Minimal model program for generalized pairs
广义对 最小 模型程序
2023/4/23
In this paper, we study VC-minimal theories and explore related concepts. We
first define the notion of convex orderablity and show that this lies strictly between VCminimality
and dp-minimality. To...
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.
The elementary diagram of a trivial, weakly minimal structure is near model complete
elementary diagram model complete
2015/9/28
We prove that if M is any model of a trivial, weakly minimal theory,
then the elementary diagram T(M) eliminates quantifiers down
to Boolean combinations of certain existential formulas.
On the computability-theoretic complexity of trivial, strongly minimal models
computability-theoretic strongly minimal models
2015/9/28
We show the existence of a trivial, strongly minimal (and thus
uncountably categorical) theory for which the prime model is computable and
each of the other countable models computes 0
00. This res...
Trivial, strongly minimal theories are model complete after naming constants
model complete naming constants
2015/9/25
We prove that if M is any model of a trivial, strongly
minimal theory, then the elementary diagram Th(MM ) is a model
complete LM -theory. We conclude that all countable models of
a trivial, strong...
The Schr鰀er-Bernstein property for weakly minimal theories
The Schr鰀er-Bernstein property weakly minimal theories
2015/9/25
For a countable, weakly minimal theory T, we show that the SchröderBernstein
property (any two elementarily bi-embeddable models are isomorphic)
is equivalent to each of the following:
1. For ...
Numerical analysis of minimal beta-sequences associated with a family of entire functions
Numerical analysis Entire functions Pochhammer polynomials Riemann Xi-function
2011/9/22
Abstract: The Riemann Xi-function Xi(t)=xi(1/2+it) is a particularly interesting member of a broad family of entire functions which can be expanded in terms of symmetrized Pochhammer polynomials depen...
Minimal unknotting sequences of Reidemeister moves containing unmatched RII moves
Reidemeister moves RII moves
2010/11/23
Arnold introduced invariants $J^+$, $J^-$ and $St$ for generic planar curves.
It is known that both $J^+ /2 + St$ and $J^- /2 + St$ are invariants for generic spherical curves.
Applying these inv...
A Laguerre minimal surface is an immersed surface in the Euclidean space being an extremal of the functional \int (H^2/K - 1) dA. In the present paper, we prove that the only ruled Laguerre minimal s...
A diffeomorphism with global dominated splitting can not be minimal
diffeomorphism global dominated splitting
2010/11/18
Let M be a closed manifold and f be a diffeomorphism on M. We show that if f has a nontrivial dominated splitting TM=E\oplus F, then f can not be minimal. The proof mainly use Mane's argument and Liao...
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...
Connectivity and Minimal Distance Spectral Radius of Graphs
Connectivity Spectral Radius of Graphs
2010/11/15
In this paper, we study how the distance spectral radius behaves when the graph is perturbed by grafting edges. As applications, we also determine the graph with $k$ cut vertices (respectively, $k$ cu...
Let R be a commutative ring with a unit and M an R-module. In this paper we give a comparison between the F-closure in M of an R-submodule having a minimal extension and the closure of this minimal ex...