Cores of Countably Categorical Structures
From MaRDI portal
Publication:5310678
DOI10.2168/LMCS-3(1:2)2007zbMath1128.03021MaRDI QIDQ5310678
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Categoricity and completeness of theories (03C35)
Related Items (25)
On a stronger reconstruction notion for monoids and clones ⋮ Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) ⋮ Circuit satisfiability and constraint satisfaction around Skolem arithmetic ⋮ Polish topologies on endomorphism monoids of relational structures ⋮ New Ramsey classes from old ⋮ Action of endomorphism semigroups on definable sets ⋮ The wonderland of reflections ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ 𝜔-categorical structures avoiding height 1 identities ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Solving equation systems in ω-categorical algebras ⋮ A survey of homogeneous structures ⋮ Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures ⋮ Homomorphism order of connected monounary algebras ⋮ Permutation groups with small orbit growth ⋮ A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP ⋮ Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures ⋮ Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) ⋮ Constraint Satisfaction Problems for Reducts of Homogeneous Graphs ⋮ A Dichotomy for First-Order Reducts of Unary Structures ⋮ PROJECTIVE CLONE HOMOMORPHISMS ⋮ CORES OVER RAMSEY STRUCTURES ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ Unnamed Item ⋮ Distance constraint satisfaction problems
This page was built for publication: Cores of Countably Categorical Structures
