Positive existential definability in finite structures

DOI10.1016/J.DAM.2025.01.001MaRDI QIDQ7021381zbMATH OpenFDO

Authors Boris A. Romov

Publication date 28 February 2025

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.DAM.2025.01.001

zbMATH Keywords

algorithmic complexityfinite structureGalois closurepositive existential formula

Mathematics Subject Classification ID

Model theory (03Cxx) Ordered sets (06Axx) Algebraic structures (08Axx)

Cites work

• Existential relations on infinite structures
• Homogeneous and strictly homogeneous criteria for partial structures
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 7359806 (Why is no real title available?)
• Structure identification of Boolean relations and plain bases for co-clones

This page was built for publication: Positive existential definability in finite structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021381)