Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H.C.Doets — The relation of succession P on spaces homeomorphic to the circle, the open, half — open and closed line [Scriptie], Mathematisch Institut Universitei van Amsterdam, November 1966. (Mimeographed).
A. Grzegorczyk — Logical Uniformity by Decomposition and Categoricity in . Bulletin de l'Académie Polonaise des Sciences, Série des Sc. math., astr., et phys. vol XVI, No 9, 1968 p.687–692.
H.O.Rabin — A simple method for undecidability proofs and same applications. Logic Methodology and Philosophy of Science. Proceedings of the 1964 International Congress. North Holland Publ.Company. p. 58–68.
C. Ryll-Nardzewski — On the categoricity in power. Bull.Acad.Polon.Sci., Ser.Sci.math., astr. et phys., 7(1959) p.545–548.
R.L. Vaught — Applications of the generalized Skolem-Löwenheim theorem to problems of completeness and decidability. Bull.Amer.Math. Soc.(1953),p.396–397.
Editor information
Rights and permissions
Copyright information
© 1970 Springer-Verlag
About this paper
Cite this paper
Grzegorczyk, A. (1970). Decision procedure for theories categorical in Alefo . In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0060626
Download citation
DOI: https://doi.org/10.1007/BFb0060626
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04914-2
Online ISBN: 978-3-540-36262-3
eBook Packages: Springer Book Archive