Theories categorical in power \(n+2\)
From MaRDI portal
Publication:1772268
DOI10.1016/j.disc.2004.04.020zbMath1069.03022OpenAlexW2167910939MaRDI QIDQ1772268
Publication date: 18 April 2005
Published in: Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.disc.2004.04.020
permutation groupcategoricityfinite model theorydescriptive complexityfinite-variable logicpebble game
Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19) Categoricity and completeness of theories (03C35)
Cites Work