A zero-one law for logic with a fixed-point operator
- 31 December 1985
- journal article
- Published by Elsevier in Information and Control
- Vol. 67 (1-3) , 70-90
- https://doi.org/10.1016/s0019-9958(85)80027-9
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On random models of finite power and monadic logicDiscrete Mathematics, 1985
- 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
- AlternationJournal of the ACM, 1981
- Properties of almost all graphs and complexesJournal of Graph Theory, 1979
- Probabilities on finite modelsThe Journal of Symbolic Logic, 1976
- On nonmonotone inductive definabilityFundamenta Mathematicae, 1974
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Concerning measures in first order calculiIsrael Journal of Mathematics, 1964
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955