Partial fixed point for finite models in second order logic

DOI10.1134/S1995080220090231zbMath1494.03081OpenAlexW3101725216MaRDI QIDQ2211373

V. S. Sekorin

Publication date: 11 November 2020

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1995080220090231

zbMATH Keywords

second-order logicfinite modelpartial fixed point

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19) Higher-order logic (03B16)

Cites Work

• Elements of finite model theory.
• Fixed-point extensions of first-order logic
• Computable queries for relational data bases
• The polynomial-time hierarchy
• A relational model of data for large shared data banks

This page was built for publication: Partial fixed point for finite models in second order logic