Quantifier Free Definability on Infinite Algebras

机译：无限代数上的无量词可定义性

获取原文

页面导航

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

摘要

An operation f : An→A on the domain A of an algebra A is definable if there exists a first order logic formula Φ(x̅, y) with parameters from A such that for all α̅ ∈ Aⁿ and b ∈ A we have f(α̅) = b iff A |= Φ(α̅, b). The goal of this paper is to study definability of operations by quantifier-free formulas on countable infinite algebras from computability and model-theoretic definability points of view.

机译：如果存在一阶逻辑公式Φ（x̅，y）的参数来自A使得对于所有α̅∈A都可以定义代数A的域A上的运算f：An→A ^{n
和b∈A，我们有f（α̅）= b，如果A | =Φ（α̅，b）。本文的目的是从可计算性和模型理论可定义性的角度研究可数无穷代数上无量纲公式的运算可定义性。}

著录项

来源
《Annual ACM/IEEE Symposium on Logic in Computer Science》|2016年|1-9|共9页
会议地点
作者
Bakh Khoussainov;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Algebra; Computational modeling; Computer science; Standards; Automata; Servers; Cognition;

机译：代数;计算建模;计算机科学;标准;自动机;服务器;认知;

相似文献

外文文献
中文文献
专利

1. Deciding Quantifier-free Definability in Finite Algebraic Structures [J] . Miguel Campercholi, Mauricio Tellechea, Pablo Ventura Electronic Notes in Theoretical Computer Science . 2020,第6期

机译：决定有限代数结构中的无量定量可定定性
2. AXIOMATIC SYSTEM DEFINING AN ORDER-EMBEDDING BETWEEN INFINITE sigma-ALGEBRAS [J] . Agbeko Nutefe Kwami Nature reviews neuroscience . 2019,第2期

机译：在无限Sigma-代数之间定义订单嵌入的公理系统
3. First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers [J] . Shlapentokh Alexandra Israel Journal of Mathematics . 2018,第Pta2期

机译：在理性数字的无限代数扩展中整数的一阶解锁性和绝定性
4. Quantifier Free Definability on Infinite Algebras [C] . Bakh Khoussainov Annual ACM/IEEE Symposium on Logic in Computer Science . 2016

机译：无限代数上的量化可自由定义
5. Free entropies, Free Fisher information, Free Stochastic differential equations, with applications to von Neumann algebras. [D] . Dabrowski, Yoann Nicolas. 2011

机译：自由熵，自由费舍尔信息，自由随机微分方程及其在冯·诺依曼代数中的应用。
6. CLASSIFICATION OF THE REAL INFINITE SIMPLE AND REAL INFINITE PRIMITIVE LIE ALGEBRAS [O] . Steven Shnider 2016

机译：实无限简单和实无限原始李代数的分类
7. Shift Automorphisms of the Reduced Free Products of Infinitely Many Algebras (Development of Infinite-Dimensional Noncommutative Analysis) [O] . Choda Marie 1999

机译：无限多个代数的约化自由乘积的移位自同构（无限维非交换分析的发展）

Quantifier Free Definability on Infinite Algebras

摘要

著录项

相似文献

相关主题

期刊订阅