Now showing items 311-320 of 357
Complexity of winning strategies
(Elsevier, 1972)
Rabin has given an example of a game with recursive rules but no recursive winning strategy. We show that such a game always has a hyperarithmetical winning strategy, but arbitrarily high levels of the hyperarithmetical ...
Decaying states of perturbed wave equations
(Elsevier, 1976-04)
We study the solutions of perturbed wave equations that represent free wave motion outside some ball. When there are no trapped rays, it is shown that every solution whose total energy decays to zero must be smooth. This ...
The Frattini module
(Birkhäuser-Verlag; Birkhäuser Verlag ; Springer Science+Business Media, 1978-12)
Stable manifolds of holomorphic diffeomorphisms
(Springer-Verlag; Springer-Verlag Berlin Heidelberg, 2002-08)
A model for harmonics on stringed instruments
(Springer-Verlag; Springer-Verlag GmbH & Co., 1982-12)
Iterated relative recursive enumerability
(Springer-Verlag, 1994-10)
A result of Soare and Stob asserts that for any non-recursive r.e. set C , there exists a r.e.[ C ] set A such that A ⊕ C is not of r.e. degree. A set Y is called [of] m -REA ( m -REA[ C ] [degree] iff it is [Turing ...
An orientation preserving fixed point free homeomorphism of the plane which admits no closed invariant line
(Elsevier, 1988-08)
Though fixed point free homeomorphisms of the plane would appear to exhibit the simplest dynamical behavior, we show that the minimal sets can be quite complex. Every homeomorphism which is conjugate to a translation must ...
The Spectral Density Function for the Laplacian on High Tensor Powers of a Line Bundle
(Kluwer Academic Publishers; Springer Science+Business Media, 2002-05)
For a symplectic manifold with quantizing line bundle, a choice of almost complex structure determines a Laplacian acting on tensor powers of the bundle. For high tensor powers Guillemin–Uribe showed that there is a ...