Finitistic proofs of 0-1 laws for fragments of second-order logic

DOI10.1016/0020-0190(96)00035-XzbMath0875.68791MaRDI QIDQ1351145

Thierry Lacoste

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Combinatorial problemsAsymptotic probabilities in logicFinitistic methods

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Logic in artificial intelligence (68T27)

Cites Work

• 0-1 laws and decision problems for fragments of second-order logic
• Probabilities on finite models
• Unnamed Item

This page was built for publication: Finitistic proofs of 0-1 laws for fragments of second-order logic