Positive primitive structures

MaRDI QIDQ5389325zbMATH OpenFDO

Authors Boris A. Romov

Publication date 26 April 2012

zbMATH Keywords

constraint satisfaction problemelimination setextendable partial cloneGalois connectionpartial polymorphismpositive primitive formula

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Computer Science Logic
• Constraint Satisfaction with Countable Homogeneous Templates
• Two-element structures modulo primitive positive constructability
• Generating primitive positive clones
• The power of primitive positive definitions with polynomially many variables

Cited in

(8)

• Primitive positive clones which are endomorphism clones
• Endpoints of associated intervals for local clones on an infinite set
• On polymorphism-homogeneous relational structures and their clones.
• Two-element structures modulo primitive positive constructability
• Weakly extendable partial clones on an infinite set.
• Extendable partial clones on a finite set
• Languages with finite string of quantifiers on uncountable structures
• Existential relations on infinite structures

This page was built for publication: Positive primitive structures

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