zbMath1184.03018MaRDI QIDQ3509165
Wojciech Guzicki, Michał Krynicki
Publication date: 1 July 2008
zbMATH Keywords
zero-one law; Lindström quantifier; model-theoretic logic; Mostowski quantifier; probability quantifier; topological quantifier
Mathematics Subject Classification ID
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures