Preparation of this paper was partially supported by a grant from Microsoft Corporation.
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
Andreas Blass, Yuri Gurevich, and Dexter Kozen, A zero-one law for logic with a fixed-point operator, Information and Control 67 (1985) 70–90.
Andreas Blass, Yuri Gurevich, and Saharon Shelah, Choiceless polynomial time, Ann. Pure Applied Logic 100 (1999) 141–187.
Andreas Blass and Frank Harary, Properties of almost all graphs and complexes, J. Graph Theory 3 (1979) 225–240.
Béla Bollobás, Random graphs, Academic Press, 1985.
Heinz-Dieter Ebbinghaus and Jörg Flum, Finite Model Theory, Springer-Verlag (1995).
Yuri Gurevich, Evolving algebras 1993: Lipari guide, in Specification and Validation Methods, ed. E. Börger, Oxford University Press (1995) pp. 9–36. See also the May 1997 draft of the ASM guide, Tech Report CSE-TR-336-97, EECS Dept., Univ. of Michigan, 1997. Found at http://www.eecs.umich.edu/gasm/.
Saharon Shelah, Choiceless polynomial time logic: inability to express [paper number 634], these proceedings.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blass, A., Gurevich, Y. (2000). Choiceless Polynomial Time Computation and the Zero-One Law. In: Clote, P.G., Schwichtenberg, H. (eds) Computer Science Logic. CSL 2000. Lecture Notes in Computer Science, vol 1862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44622-2_2
Download citation
DOI: https://doi.org/10.1007/3-540-44622-2_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67895-3
Online ISBN: 978-3-540-44622-4
eBook Packages: Springer Book Archive