An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of...
| 發表在: | Logical Methods in Computer Science |
|---|---|
| Main Authors: | Hubie Chen, Moritz Müller |
| 格式: | Article |
| 語言: | 英语 |
| 出版: |
Logical Methods in Computer Science e.V.
2013-03-01
|
| 主題: | |
| 在線閱讀: | https://lmcs.episciences.org/1009/pdf |
相似書籍
Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
由: Hubie Chen
出版: (2014-12-01)
由: Hubie Chen
出版: (2014-12-01)
Quantified Constraints and Containment Problems
由: Barnaby D. Martin, et al.
出版: (2015-09-01)
由: Barnaby D. Martin, et al.
出版: (2015-09-01)
Preservation theorems for Tarski's relation algebra
由: Bart Bogaerts, et al.
出版: (2024-09-01)
由: Bart Bogaerts, et al.
出版: (2024-09-01)
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
由: Barnaby Martin, et al.
出版: (2012-09-01)
由: Barnaby Martin, et al.
出版: (2012-09-01)
Preservation and decomposition theorems for bounded degree structures
由: Frederik Harwath, et al.
出版: (2015-12-01)
由: Frederik Harwath, et al.
出版: (2015-12-01)
A Categorical Approach to Syntactic Monoids
由: Jiří Adamek, et al.
出版: (2018-05-01)
由: Jiří Adamek, et al.
出版: (2018-05-01)
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
由: Francesco Ciraulo, et al.
出版: (2020-02-01)
由: Francesco Ciraulo, et al.
出版: (2020-02-01)
A Proof of Kamp's theorem
由: Alexander Rabinovich
出版: (2014-02-01)
由: Alexander Rabinovich
出版: (2014-02-01)
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
由: Brijesh Dongol, et al.
出版: (2021-02-01)
由: Brijesh Dongol, et al.
出版: (2021-02-01)
Categorical Proof Theory of Co-Intuitionistic Linear Logic
由: Gianluigi Bellin
出版: (2014-09-01)
由: Gianluigi Bellin
出版: (2014-09-01)
On the algebraic structure of Weihrauch degrees
由: Vasco Brattka, et al.
出版: (2018-10-01)
由: Vasco Brattka, et al.
出版: (2018-10-01)
Statman's Hierarchy Theorem
由: Bram Westerbaan, et al.
出版: (2017-11-01)
由: Bram Westerbaan, et al.
出版: (2017-11-01)
Epistemic Updates on Algebras
由: Alexander A Kurz, et al.
出版: (2013-12-01)
由: Alexander A Kurz, et al.
出版: (2013-12-01)
Deciding Equations in the Time Warp Algebra
由: Sam van Gool, et al.
出版: (2024-01-01)
由: Sam van Gool, et al.
出版: (2024-01-01)
Bounded variation and the strength of Helly's selection theorem
由: Alexander P. Kreuzer
出版: (2014-12-01)
由: Alexander P. Kreuzer
出版: (2014-12-01)
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
由: Marc Hermes, et al.
出版: (2024-03-01)
由: Marc Hermes, et al.
出版: (2024-03-01)
The logical strength of B\"uchi's decidability theorem
由: Leszek Kołodziejczyk, et al.
出版: (2019-05-01)
由: Leszek Kołodziejczyk, et al.
出版: (2019-05-01)
Extension by Conservation. Sikorski's Theorem
由: Davide Rinaldi, et al.
出版: (2018-10-01)
由: Davide Rinaldi, et al.
出版: (2018-10-01)
A Proof of Stavi's Theorem
由: Alexander Rabinovich
出版: (2018-03-01)
由: Alexander Rabinovich
出版: (2018-03-01)
A categorical framework for congruence of applicative bisimilarity in higher-order languages
由: Tom Hirschowitz, et al.
出版: (2022-09-01)
由: Tom Hirschowitz, et al.
出版: (2022-09-01)
Free complete Wasserstein algebras
由: Radu Mardare, et al.
出版: (2018-09-01)
由: Radu Mardare, et al.
出版: (2018-09-01)
Some observations on the logical foundations of inductive theorem proving
由: Stefan Hetzl, et al.
出版: (2018-04-01)
由: Stefan Hetzl, et al.
出版: (2018-04-01)
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
由: Dominik Kirst, et al.
出版: (2022-06-01)
由: Dominik Kirst, et al.
出版: (2022-06-01)
An implicit function theorem for the stream calculus
由: Michele Boreale, et al.
出版: (2024-06-01)
由: Michele Boreale, et al.
出版: (2024-06-01)
On Tools for Completeness of Kleene Algebra with Hypotheses
由: Damien Pous, et al.
出版: (2024-05-01)
由: Damien Pous, et al.
出版: (2024-05-01)
Observationally-induced algebras in Domain Theory
由: Ingo Battenfeld, et al.
出版: (2014-09-01)
由: Ingo Battenfeld, et al.
出版: (2014-09-01)
Algebraic and logical descriptions of generalized trees
由: Bruno Courcelle
出版: (2017-07-01)
由: Bruno Courcelle
出版: (2017-07-01)
Fixed Points Theorems for Non-Transitive Relations
由: Jérémy Dubut, et al.
出版: (2022-02-01)
由: Jérémy Dubut, et al.
出版: (2022-02-01)
Products of effective topological spaces and a uniformly computable Tychonoff Theorem
由: Robert Rettinger, et al.
出版: (2013-11-01)
由: Robert Rettinger, et al.
出版: (2013-11-01)
Corecursive Algebras, Corecursive Monads and Bloom Monads
由: Jiří Adámek, et al.
出版: (2014-09-01)
由: Jiří Adámek, et al.
出版: (2014-09-01)
Algebra, coalgebra, and minimization in polynomial differential equations
由: Michele Boreale
出版: (2019-02-01)
由: Michele Boreale
出版: (2019-02-01)
On Free $\omega$-Continuous and Regular Ordered Algebras
由: Zoltan Esik, et al.
出版: (2019-10-01)
由: Zoltan Esik, et al.
出版: (2019-10-01)
An expressive completeness theorem for coalgebraic modal mu-calculi
由: Sebastian Enqvist, et al.
出版: (2017-07-01)
由: Sebastian Enqvist, et al.
出版: (2017-07-01)
Effective zero-dimensionality for computable metric spaces
由: Robert Kenny
出版: (2015-03-01)
由: Robert Kenny
出版: (2015-03-01)
Quantified CTL: Expressiveness and Complexity
由: François Laroussinie, et al.
出版: (2014-12-01)
由: François Laroussinie, et al.
出版: (2014-12-01)
Initial Algebra Semantics for Cyclic Sharing Tree Structures
由: Makoto Hamana
出版: (2010-09-01)
由: Makoto Hamana
出版: (2010-09-01)
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
由: Dag Normann
出版: (2015-03-01)
由: Dag Normann
出版: (2015-03-01)
Multi-Structural Games and Number of Quantifiers
由: Ronald Fagin, et al.
出版: (2025-01-01)
由: Ronald Fagin, et al.
出版: (2025-01-01)
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
由: Matteo Mio, et al.
出版: (2024-12-01)
由: Matteo Mio, et al.
出版: (2024-12-01)
Global Numerical Constraints on Trees
由: Everardo Bárcenas, et al.
出版: (2014-06-01)
由: Everardo Bárcenas, et al.
出版: (2014-06-01)
相似書籍
-
Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
由: Hubie Chen
出版: (2014-12-01) -
Quantified Constraints and Containment Problems
由: Barnaby D. Martin, et al.
出版: (2015-09-01) -
Preservation theorems for Tarski's relation algebra
由: Bart Bogaerts, et al.
出版: (2024-09-01) -
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
由: Barnaby Martin, et al.
出版: (2012-09-01) -
Preservation and decomposition theorems for bounded degree structures
由: Frederik Harwath, et al.
出版: (2015-12-01)