搜索结果: 1-10 共查到“数理逻辑与数学基础 Being Rational”相关记录10条 . 查询时间(0.029 秒)
Given a sequence {αn} in (0, 1) converging to a rational, we examine
the model theoretic properties of structures obtained as limits of ShelahSpencer
graphs G(m, m−αn ). We show that in most c...
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
Decision problems infinite Post Correspondence Problem analytical hierarchy high undecidability infinitary rational relations
2011/10/10
Abstract: It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing ...
Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA
Koszul duality affine Kac-Moody algebras cyclotomic rational DAHA
2011/8/22
Abstract: We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affin...
Density of rational points on elliptic curves and small transcendence degree
rational points elliptic curves
2010/11/19
In this paper we pursue two goals: (I) We show how Weil restrictions to real subfields can be fruitfully applied to improve transcendence results. (II) We elaborate (I) in the context of algebraic in...
On the asymptotic stability of a rational multi-parameter first order difference equation
the asymptotic stability rational multi-parameter
2010/11/22
In this part we study the dynamics of the following rational multi-parameter first order difference equation x_{n+1} =(ax_{n}^3+ bx_{n}^2+cx_{n} + d)/x_{n}^3, x_{0}\in R^{+} where the parameters a, b...
The Nash problem of arcs and the rational double point $\mathbf{E_6}$
The Nash problem the rational double point
2010/11/17
This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the ex...
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
Inhomogeneous cubic congruences rational points del Pezzo surfaces
2010/11/22
For given non-zero integers a,b,q we investigate the density of integer solutions (x,y) to the binary cubic congruence ax^2+by^3=0 (mod q) and use it to establish the Manin conjecture for a singular d...
We prove that for a finite or profinite group G, the homotopy infor-mation of rational G-pectra is entirely determined by the triangulated structure of their homotopy category.
We demonstrate that the question whether or not a given topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.
The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle ...