0-1 laws for recursive structures

Erich Grädel, Anders Malmström. 0-1 laws for recursive structures. Arch. Math. Log., 38(4-5):205-215, 1999. [doi]

Abstract

Abstract is missing.