A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences

DOI10.1002/MALQ.19970430314zbMath0874.03037OpenAlexW2051535456MaRDI QIDQ4351931

Thierry Lacoste

Publication date: 8 October 1997

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19970430314

zbMATH Keywords

0-1 lawfinitistic methodsasymptotic probabilitiessecond-order Ackermann sentence

Mathematics Subject Classification ID

Combinatorial probability (60C05) Model theory of finite structures (03C13)

This page was built for publication: A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences