0–1 Laws and decision problems for fragments of second-order logic

This publication has 17 references indexed in Scilit:

• A zero-one law for logic with a fixed-point operator
  Information and Control, 1985
• ∑11-Formulae on finite structures
  Annals of Pure and Applied Logic, 1983
• Complexity of the first-order theory of almost all finite structures
  Information and Control, 1983
• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982
• On the Gödel class with identity
  The Journal of Symbolic Logic, 1981
• Alternation
  Journal of the ACM, 1981
• Probabilities on finite models
  The Journal of Symbolic Logic, 1976
• Range and degree of realizability of formulas in the restricted predicate calculus
  Cybernetics and Systems Analysis, 1972
• The decision problem for the logic of predicates and of operations
  Algebra and Logic, 1969
• A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
  The Annals of Mathematical Statistics, 1952