zbMath0974.68204MaRDI QIDQ2729229
Andreas Blass, Yuri Gurevich
Publication date: 18 July 2001
zbMATH Keywords
finite model theory; Shelah's zero-one law
Mathematics Subject Classification ID
03B70: Logic in computer science
03C13: Model theory of finite structures