Second-order and Inductive Definability on Finite Structures
- 1 January 1987
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 33 (1) , 47-63
- https://doi.org/10.1002/malq.19870330107
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982
- Global inductive definabilityThe Journal of Symbolic Logic, 1978
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977