Preview
Unable to display preview. Download preview PDF.
References
Chang C, Keisler H (1962) An improved prenex normal form. J. Symb. Logic 27:317–326
Deutsch M (1975) Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe. Arch. math. Logik 17:9–16
Deutsch M (1986) Ein neuer Beweis und eine Verschärfung für den konservativen Reduktionstyp ∀∃∀∃∞ (0, 1). Zeitschr. f. math. Logik u. Grundl. d. Math. 32
Deutsch M (1987) Eine Verschärfung eines Satzes von Kostyrko zur Reduktionstheorie mit einer Anwendung auf die spektrale Darstellung von Prädikaten. Zeitschr. f. math. Logik u. Grundl. d. Math. 33
Kostyrko VF (1964) Klass cvedeniya ∀∃n∀. Algebra i Logika 3:45–65
Trachtenbrot BA (1950) Nevozmoznost algorithma dl a problema razresimosti na konecnych klassach. Doklady akad. Nauk SSSR 70:569–573.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Deutsch, M. (1987). Spectral representation of recursively enumerable and coenumerable predicates. In: Börger, E. (eds) Computation Theory and Logic. Lecture Notes in Computer Science, vol 270. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_159
Download citation
DOI: https://doi.org/10.1007/3-540-18170-9_159
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18170-5
Online ISBN: 978-3-540-47795-2
eBook Packages: Springer Book Archive