Skip to main content Accessibility help
×
Home

The dimension of the negation of transitive closure

  • Gregory L. McColm (a1)

Abstract

We prove that any positive elementary (least fixed point) induction expressing the negation of transitive closure on finite nondirected graphs requires at least two recursion variables.

Copyright

References

Hide All
Aho, A. V. and Ullman, J. D. [1979], Universality of data retrieval languages, Conference record of the sixth ACM symposium on principles of programming languages (San Antonio, Texas, 1979), ACM, New York, 1979, pp. 110120.
Ajtai, M. and Fagin, R. [1990], Reachability is harder for directed than for undirected graphs, this Journal, vol. 55 (1990), pp. 113150.
Buchi, J. R. [1973], The monadic second order theory of ω1, Decidable theories II: The monadic second order theory of all countable ordinals (Müller, G. H. and Siefkes, D., editors), Lecture Notes in Mathematics, vol. 328, Springer-Verlag, Berlin, 1973, pp. 1127.
Chandra, A. and Harel, D. [1982], Structure and complexity of relational queries, Journal of Computer and System Sciences, vol. 25 (1982), pp. 99128.
Ehrenfeucht, A. [1961], An application of games to the completeness problem for formalized theories, Fundamenta Mathematicae, vol. 49 (1961), pp. 120141.
Fagin, R. [1974], Generalized first-order spectra and polynomial-time recognizable sets, SIAM-AMS Proceedings (Karp, R., editor), American Mathematical Society, Providence, Rhode Island, vol. 7, 1974, pp. 4373.
Fagin, R. [1975], Monadic generalized spectra, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 8996.
Grohe, M. [1993], Bounded-arity hierarchies in fixedpoint logic, Ph.D.thesis, Universität Freiburg, Freiburg, 1993.
Harel, D. and Kozen, D. [1984], A programming language for the inductive sets, and applications, Information and Control, vol. 63 (1984), pp. 118139.
Immerman, N. [1981], Number of quantifiers is better than number of tape cells, Journal of Computer and System Sciences, vol. 22 (1981), pp. 384406.
Immerman, N. [1982], Upper and lower bounds for first order expressibility, Journal of Computer and System Sciences, vol. 25 (1982), pp. 7698.
Immerman, N. [1986], Relational queries computable in polynomial time, Information and Control, vol. 68 (1986), pp. 86104.
Immerman, N. [1987], Languages that capture complexity classes, SIAM Journal on Computing, vol. 16 (1987), pp. 760778.
Kolaitis, P. G. and Vardi, M. Y. [1990], On the expressive power of datalog: tools and a case study, Proceedings of the ninth ACM symposium on the principles of database systems (Nashville, Tennessee, 1990), ACM, New York, 1990, pp. 6171.
Ladner, R. E. [1977], Application of model theoretic games to discrete linear orders and finite automata, Information and Control, vol. 33 (1977), pp. 281303.
Lakshmanan, V. S. and Mendelzon, A. O. [1989], Inductive pebble games and the expressive powers of datalog, Proceedings of the eighth ACM symposium on the principles of database management, ACM, New York, 1989, pp. 301310.
McColm, G.L. [1989], Some restrictions on simple fixed points of the integers, this Journal, vol. 54 (1989), pp. 13241345.
McColm, G.L. [1990], Parametrization over inductive relations of a bounded number of variables, Annals of Pure and Applied Logic, vol. 48 (1990), pp. 103134.
McColm, G. L. [1992], Eventual periodicity and “one-dimensional”queries, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 273290.
McColm, G. L. [1995A], Dimension versus number of variables, and connectivity, too, Mathematical Logic Quarterly (to appear).
McColm, G. L. [1995B], Pebble games and lease simple fixed points, Information and Computation (to appear).
Moschovakis, Y. N. [1971], The game quantifier, Proceedings of the American Mathematical Society, vol. 31 (1971), pp. 245250.
Moschovakis, Y. N. [1974], Elementary induction on algebraic structures, North-Holland, Amsterdam, 1974.
Moschovakis, Y. N. [1983], Abstract recursion as a foundation for the theory of algorithms Computation and proof theory, Logic Colloquium ’;83, Aachen (Richter, M. M.et al., editors), Lecture Notes in Mathematics, vol. 1104, Springer-Verlag, Berlin, 1983, pp. 289364.
Stolboushkin, A. P. [1994], Finitely monotone properties, unpublished manuscript.
Vardi, M. [1982], Complexity of relational database systems, Fourteenth annual ACM symposium on the theory of computing (San Francisco, California, 1982), ACM, New York, 1982, pp. 137146.

Keywords

The dimension of the negation of transitive closure

  • Gregory L. McColm (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed