Positive Primitive Structures

机译：正原始结构

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We investigate a positive primitive formula closure (formed by (exist,&,=)-formulas) in countable structures which establishes an algebraic framework for Constraint Satisfaction Problems on a countable set. The main question under consideration is the characterization of countable structures, called positive primitive, in which, similar to a finite case, such closure coincides with the Galois closure on predicates invariant to all polymorphisms of those structures. Next we establish criteria for existential quantifier elimination in positive primitive formulas.

机译：我们调查了可数结构中的正原始公式封闭（由（exist，＆，=）公式形成），该结构为可数集上的约束满足问题建立了代数框架。所考虑的主要问题是可数结构的特征，称为正原始，在这种情况下，类似于有限情况，这种闭合与那些结构的所有多态不变的谓词上的Galois闭合一致。接下来，我们建立在正原始公式中消除存在量词的标准。

著录项

来源
《Multiple-Valued Logic, 2009. ISMVL '09》|2009年|72-76|共5页
会议地点 Naha(JP);Naha(JP)
作者
Romov B.A.;
展开▼
作者单位

Bayard Rustin Educ. Complex, New York, NY;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Galois fields; constraint theory; operations research; Galois closure; algebraic framework; constraint satisfaction problems; countable structures; polymorphisms; positive primitive structures; Extendable partial clone; Galois connection; Partial polymorphism; Positive primitive formula;

机译：Galois领域;约束理论;运筹学; Galois闭包;代数框架;约束满足问题;可数结构;多态性;正本原结构;可扩展部分克隆; Galois连接;部分多态性;正本原公式;

相似文献

外文文献
中文文献
专利

1. Two-element structures modulo primitive positive constructability [J] . Algebra Universalis . 2020,第2期

机译：两个元素结构模数原始正结构性
2. CD34-positive primitive vessels and other structures in human fetuses: an immunohistochemical study. [J] . Katori Y, Kiyokawa H, Kawase T, Acta Oto-Laryngologica . 2011,第10期

机译：人类胎儿中CD34阳性的原始血管和其他结构：一项免疫组织化学研究。
3. Positive Primitive Structures [J] . Boris A. Romov Journal of multiple-valued logic and soft computing . 2011,第5a6期

机译：正原始结构
4. Positive Primitive Structures [C] . Boris A. Romov IEEE International Symposium on Multiple-Valued Logic . 2009

机译：正极结构
5. Competition and Market Evolution: Studies on the Primitives that Give Rise to Various Market Structures. [D] . Varela, Mauricio Jose. 2011

机译：竞争与市场演变：关于促进各种市场结构的原始研究。
6. Three dimensional structures of putative primitive proteins to investigate the origin of homochirality [O] . Akifumi Oda, Tomoki Nakayoshi, Koichi Kato, -1

机译：推定的原始蛋白质的三维结构用于研究同手性的起源
7. Two-element structures modulo primitive positive constructability [O] . Manuel Bodirsky, Albert Vucaj 2020

机译：两个元素结构模数原始正结构性

Positive Primitive Structures

摘要

著录项

相似文献

相关主题

期刊订阅