On the expressive power of counting
- 18 September 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 149 (1), 67-99
- https://doi.org/10.1016/0304-3975(95)00026-s
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Logical Hierarchies in PTIMEInformation and Computation, 1996
- Finite-model theory - a personal perspectiveTheoretical Computer Science, 1993
- Zero-one law for an extension of first-order predicate languageCybernetics and Systems Analysis, 1990
- Relational queries computable in polynomial timeInformation and Control, 1986
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- Complexity of the first-order theory of almost all finite structuresInformation and Control, 1983
- Almost sure theoriesAnnals of Mathematical Logic, 1980
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977
- Probabilities on finite modelsThe Journal of Symbolic Logic, 1976
- First Order Predicate Logic with Generalized QuantifiersTheoria, 1966