0-1 laws by preservation

DOI10.1016/S0304-3975(97)00086-8zbMath0901.68073MaRDI QIDQ1390939

Thierry Lacoste

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

computational complexityasymptotic probabilities in logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite-model theory -- A personal perspective
• 0-1 laws and decision problems for fragments of second-order logic
• Infinitary logics and 0-1 laws
• The polynomial-time hierarchy
• Probabilities on finite models

This page was built for publication: 0-1 laws by preservation