搜索结果: 1-6 共查到“数理逻辑与数学基础 Infinite”相关记录6条 . 查询时间(0.078 秒)
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 ...
Decision Problems for Recognizable Languages of Infinite Pictures
Languages of infinite pictures recognizability by tiling systems decision problems unambiguity problem cardinality problems
2011/9/23
Abstract: Altenbernd, Thomas and W\"ohrle have considered in [ATW02] acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with the usual acceptance c...
The aim of this paper is to offer an algebraic definition of infinite determinants of finite potent endomorphisms. This allows to construct a central extension of groups that can be interpreted as a ...
Graph-Laplacians and Dirac Operators on (Infinite) Graphs and the Calculation of the Connes-Distance-Functional
Graph-Laplacians Dirac Operators Calculation the Connes-Distance-Functional
2010/11/1
We develop a graph-Hilbert-space framework, inspired by non-commutative geometry, on (infinite) graphs and use it to study spectral properies of \tit{graph-Laplacians} and so-called \tit{graph-Dirac-o...
Wavelet filters and infinite-dimensional unitary groups
Wavelet filters infinite-dimensional unitary groups
2010/11/1
In this paper, we study wavelet filters and their dependence on two numbers, the scale N and the genus g. We show that the wavelet filters, in the quadrature mirror case, have a harmonic analysis whi...
On infinite tensor products of projective unitary representations
tensor products projective unitary representations
2010/10/29
We initiate a study of infinite tensor products of projective unitary representations of a discrete group G. Special attention is given to regular representations twisted by 2-cocycles and to projecti...