搜索结果: 1-5 共查到“数理逻辑与数学基础 Regular”相关记录5条 . 查询时间(0.052 秒)
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 ...
On the conjugacy problem for finite-state automorphisms of regular rooted trees
finite-state automorphisms regular rooted trees math
2010/11/15
We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting conditio...
Characterizations of intra-regular gamma AG-groupoids by the properties of their gamma ideals
intra-regular gamma AG-groupoids gamma ideals
2010/11/11
We have characterized an intra-regular {\Gamma}-AG^{**}-groupoids by using the properties of {\Gamma}-ideals (left, right, two-sided ), {\Gamma}-interior, {\Gamma}-quasi, {\Gamma}-bi and {\Gamma}-gene...
Regular hyperbolicity, dominant energy condition and causality for Lagrangian theory of maps
Regular hyperbolicity dominant energy condition Lagrangian theory
2010/11/19
The goal of the present paper is three-fold. First is to clarify the connection between the dominant energy condition and hyperbolicity properties of Lagrangian field theories. Second is to provide fu...
Trace formula for dielectric cavities II: Regular, pseudo-integrable, and chaotic examples
Trace formula dielectric cavities Regular pseudo-integrable chaotic examples
2010/12/16
Dielectric resonators are open systems particularly interesting due to their wide range of applications in optics and photonics. In a recent paper [PRE 78, 056202 (2008), Ref. [3]] the trace formula f...