Positive existential definability in finite structures

For a finite structure M on the domain of k≥2 elements consider the description of the Galois closures InvEnd(M) and InvAut(M) (the set of relations on the domain of M that are invariant to all endomorphisms, resp. automorphisms of M) via positive existential formulae over the signature of M. It is...

Full description

Bibliographic Details

Published in:	Discrete Applied Mathematics Vol. 366; pp. 210 - 215
Main Author:	Romov, Boris A.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 15.05.2025
Subjects:	Algorithmic complexity Finite structure Galois closure Positive existential formula Positive existential formula Algorithmic complexity Finite structure Galois closure
ISSN:	0166-218X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!