The k-variable property is stronger than H-dimension k
- 1 February 1997
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 26 (1) , 81-101
- https://doi.org/10.1023/a:1017951631048
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On bounded theoriesPublished by Springer Nature ,2005
- Infinitary Logic and Inductive Definability over Finite StructuresInformation and Computation, 1995
- Finite H-dimension does not imply expressive completenessJournal of Philosophical Logic, 1994
- Temporal LogicPublished by Springer Nature ,1994
- Infinitary logics and 0–1 lawsInformation and Computation, 1992
- Oligomorphic Permutation GroupsPublished by Cambridge University Press (CUP) ,1990
- A Formalization of Set Theory without VariablesPublished by American Mathematical Society (AMS) ,1987
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982
- Expressive Functional Completeness in Tense Logic (Preliminary report)Published by Springer Nature ,1981