scientific article; zbMATH DE number 6862042

DOI10.4230/LIPICS.FSTTCS.2016.14MaRDI QIDQ4636561zbMATH OpenFDO

Authors Bartek Klin, Sławomir Lasota, Joanna Ochremiak, Szymon Toruńczyk

Publication date 19 April 2018

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2016.14

zbMATH Keywords

first-order interpretationshomomorphism problemsets with atoms

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of denumerable and separable structures (03C15) Interpolation, preservation, definability (03C40)

Recommendations

• First-order definability on finite structures
• First-order theories and Tarski problems
• First-order definability of transition structures
• Definability in classes of finite structures
• Structures, homomorphisms, and the needs of model theory
• Publication:3491529
• scientific article; zbMATH DE number 2191987
• First-order Definable Retraction Problems for Posets and Reflexive Graphs
• Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames
• Definable homomorphisms of abelian groups in o-minimal structures

Cited in

(12)

• Relativised homomorphism preservation at the finite level
• Permutation groups with small orbit growth
• Using model theory to find decidable and tractable description logics with concrete domains
• Description logics with concrete domains and general concept inclusions revisited
• First-order Definable Retraction Problems for Posets and Reflexive Graphs
• Canonical functions: a proof via topological dynamics
• scientific article; zbMATH DE number 7147443 (Why is no real title available?)
• Decidability of definability
• scientific article; zbMATH DE number 2191987 (Why is no real title available?)
• The product homomorphism problem and applications
• Orbit-finite linear programming
• Karp's NP-complete problems over first-order definable structures

This page was built for publication:

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