Yet another hierarchy theorem
From MaRDI portal
Publication:4508250
DOI10.2307/2586558zbMath0960.03026OpenAlexW2133891248MaRDI 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 theoryfinite structuresinductive definitionsfixed point operatorssublogics of partial fixed point logic
Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19) Inductive definability (03D70)
Related Items (1)
Cites Work
This page was built for publication: Yet another hierarchy theorem