Yet another hierarchy theorem
From MaRDI portal
Publication:4508250
DOI10.2307/2586558zbMath0960.03026MaRDI QIDQ4508250
Publication date: 14 May 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586558
finite model theory; finite structures; inductive definitions; fixed point operators; sublogics of partial fixed point logic
03C13: Model theory of finite structures
68Q19: Descriptive complexity and finite models
03D70: Inductive definability
Related Items
Cites Work