This is a preview of subscription content, log in via an institution to check access.
REFERENCES
H. Andréka, Complexity of Equations Valid in Algebras of Relations, Dissertation for D.Sc. with the Hung. Acad. of Sci., Budapest, 1992.
H. Andr00E9ka and I. N00E9meti, Relation Algebraic Conditions for Representability of Cylindric and Polyadic Algebras, Preprint, Math. Inst. of the Hung. Acad. of Sci., Budapest, 1988. Submitted.
P.J. Cameron, Oligomorphic Permutation Groups, London Mathematical Society Lecture Notes 152, Cambridge University Press, 1990.
A. Dawar, S. Lindell, and S. Weinstein, Infinitary logic and inductive definability over finite structures, Information and Computation 119(1995), 160–175.
J. Flum, On bounded theories, in: E. Boerger, G. Jaeger, H. Kleine Buening, and M.M. Richter (eds.), Proc. Computer Science Logic 91, Berne, Lecture Notes in Computer Science 626, Springer-Verlag, 111–118.
D.M. Gabbay, Expressive functional completeness in tense logic, in: U. Monnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981, 91–117.
D.M. Gabbay, I.M. Hodkinson, and M.A. Reynolds, Temporal logic, Volume 1, Oxford University Press, 1994.
L. Henkin, Logical systems containing only a finite number of symbols, Les Presses de l’ Université de Montréal, Montréal, Canada, 1967.
I.M. Hodkinson, Finite H-dimension does not imply expressive completeness, J. Philosophical Logic 23(1994), 535–573.
I.M. Hodkinson, Finite variable logics, Bull. Europ. Assoc. Theor. Comp. Sci. 51(1993), 111–140.
N. Immerman, Upper and lower bounds for first-order expressibility, J. Comput. System Sci. 25(1982), 76–98.
N. Immerman and D. Kozen, Definability with bounded number of bound variables, Proceedings IEEE (1987), 236–244.
J.A.W. Kamp, Tense Logic and the Theory of Linear Order, Ph.D. thesis, University of California, 1968.
Ph. Kolaitis and M. Vardi, Infinitary logics and 0–1 laws, Information and Computation 98(1992), 258–294.
I. N00E9meti, Free Algebras and Decidability in Algebraic Logic, Dissertation for D.Sc. with the Hung. Acad. Sci., Budapest, 1986 (in Hungarian).
A. Tarski and S. Givant, A Formalization of Set Theory without Variables, AMS Colloquium publications, Providence, R.I., Vol. 41, 1987.
Y. Venema, Many-dimensional Modal Logic, Ph.D. Thesis, University of Amsterdam, 1992.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hodkinson, I., Simon, A. The k-variable property is stronger than H-dimension k . Journal of Philosophical Logic 26, 81–101 (1997). https://doi.org/10.1023/A:1017951631048
Issue Date:
DOI: https://doi.org/10.1023/A:1017951631048