DOI10.2307/2586688zbMath0981.03038arXivmath/9809201MaRDI QIDQ4527911
Saharon Shelah
Publication date: 21 March 2002 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/math/9809201
zbMATH Keywords
classification problem; finite model theory; finite universe; second-order quantifiers
Mathematics Subject Classification ID
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures