首页/论文/1409.1608

arXiv 1409.16082014-09math.LO

初等类的可计算公理化

Computable Axiomatizability of Elementary Classes

Peter Sinclair

备注：: 5 pages
发表信息：: Math. Log. Quart., 62 (2016), 46-51
DOI：: 10.1002/malq.201400110

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文的目的是推广亚历克斯Rennet的证明的非公理化类的伪O-极小结构。Rennet表明，如果L是一个扩展的语言的序域和K是类的伪O-最小的L-结构（L-结构基本上相当于一个超积的O-最小的结构）然后K是不计算公理化。我们给出了这一定理的一般形式，并将其应用于几类拓扑结构。

英文摘要：

The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the language of ordered fields and K is the class of pseudo-o-minimal L-structures (L-structures elementarily equivalent to an ultraproduct of o-minimal structures) then K is not computably axiomatizable. We give a general version of this theorem, and apply it to several classes of topological structures.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于$\mathrm{C}^*$ -代数作为算子系统的公理化

On the axiomatizability of $\mathrm{C}^*$-algebras as operator systems

证明了酉$\mathrm{C}^*$ -代数类是算子系统语言中的初等类。结果，我们得到在算子系统的语言中存在一个可定义的谓词，它定义了任何$\mathrm{C}^*$ -代数中的乘法。此外，我们还证明了上述类是$\forall\exists\forall$ -可公理化的，但不是$\forall\exists$ -可公理化的，也不是$\exists\forall$ -可公理化的.

2016-03-17math.LOmath.OA

证明了类Nr_nCA_m对m个\geq n+1的初等闭包是不可公理化的，且对任意有限k个\geq 1，存在一个\in Nr_ω CA_{\omeg+k}不是SNr_ω CA_{ω+k+1}

The elementary closure of the class Nr_nCA_m for m\geq n+1 is not finitely axiomatizable, futhermore for any finite k\geq 1, there is A\in Nr_ωCA_{\omeg+k}that is not SNr_ωCA_{ω+k+1}

证明了当1<n<m时，已知非初等类Nr_nCA_m是伪初等类.当n和m是有限的，我们使用一个两个排序的理论，当n是有限的，m是无限的，我们使用一个三个排序的，最后当都是无限的，我们使用一个四个排序的定义理论。我们的非有限公理化结果是由以下事实得出的：对于2<n<m，且任意r个\in ω，存在有限（Monk样）代数C（m，n，r），使得C（m，n，r）\in Nr_nCA_m C（m，n，r）\notin SNr_ nCA_{m+1}，以及这类代数在r上的任何非平凡超积在ElNr_nCA_m中.最后，我们利用这类代数证明了：对于无穷维，存在一个代数A \in Nr_α \CA_{\apha+k}，它不属于SNr_α CA_{α+k+1}（α是无穷序数）.

2013-04-09math.LO

条件可计算实函数的特征定理

Characterization theorem for the conditionally computable real functions

一致可计算实函数类关于一个小的次递归算子类计算微积分的初等函数，限制在它们的域的紧子集。关于同一类算子的条件可计算实函数类是一致可计算实函数类的适当推广，它在其整个定义域上计算微积分的初等函数.这两个类的定义都依赖于实数的无穷名称的某些变换。在本文中，实函数的条件可计算性的特点是在Tent和齐格勒的精神，避免使用无穷的名称。

2017-07-05math.LO

Ulm型的一阶理论

A first-order theory of Ulm type

交换$p$ -群类是可计算结构理论中一些非常有趣现象的一个例子。我们将给出一个基本的一阶理论$T_p$，它的每个模型都可以用阿贝尔$p$ -群和一个纯集的不相交并集来双解释（因此每个阿贝尔$p$ -群都可以用$T_p$的模型来双解释）。这回答了奈特的一个问题，给出了一个例子的基本一阶理论的“乌尔姆型”：任何两个模型，低为$ω_1^{CK}$，并与相同的可计算无穷大理论，是同构的。给出了一个初等一阶理论的同构问题是$\mathbfΣ^1_1$ -完全的但不是Borel完全的新例子.

2017-02-21math.LO

目前还没有对decipherable可呈现结构进行分类

There is no classification of the decidably presentable structures

一个可计算结构$\mathcal{A}$是可判定的，如果给定一个初等一阶逻辑公式$φ(\bar{x})$和一个元组$\bar{a} \in \mathcal{A}$，我们有一个判定过程来判定$φ$是否为$\bar{a}$ .我们发现，有没有合理的分类decipherable可呈现结构。形式上，我们证明了具有可判定表示的可计算结构的索引集是$Σ^1_1$ -完备的。即使我们把注意力限制在组、图或场上，这个结果也是成立的。我们还证明了对于任何$n$，具有$n$ -可判定表示的可计算结构的索引集都是$Σ^1_1$ -完全的.

2017-02-21math.LO

一些稳定的非初等模类

Some stable non-elementary classes of modules

Fisher [Fis 75]和Baur [Bau 75]在70年代独立地证明了，如果$T$是扩展模理论的完全一阶理论，则具有纯嵌入的$T$的模型类是稳定的。在[Maz 4，2.12]中，有人问对于任何抽象初等类$(K, \leq_p)$是否也是如此，使得$K$是一个模类，而$\leq_p$是纯子模关系。在本文中，我们给出了一些情况下，这是真的：$\textbf{Theorem.}$假设$R$是一个结合环的单位。设$(K, \leq_p)$是一个AEC，使得$K \subseteq R\text{-Mod}$和$K$在有限直和下是闭的，则：-如果$K$在纯内射包络下是闭的，则$(K, \leq_p)$对每个$λ\geq LS(K)$是$λ$ -稳定的，使得$λ^{|R| + \aleph_0}= λ$。- 如果$K$在纯子模和纯满射像下是闭的，则$(K, \leq_p)$对每个$λ$都是$λ$ -稳定的，使得$λ^{|R| + \aleph_0}= λ$。- 假设$R$是Von Neumann正则的。如果$K$在子模下是封闭的，并且有任意大的模型，那么$(K, \leq_p)$对每个$λ$都是$λ$ -稳定的，使得$λ^{|R| + \aleph_0}= λ$。作为这些结果的应用，我们利用超稳定性给出了Noether环、纯半单环、Dedekind域和域的新刻画。此外，我们展示了如何…

2021-07-09math.LOmath.RA

更多相关论文收起更多论文

相对可接受的符号

Relatively acceptable notation

夏皮罗的自然数符号，以及相关的可接受性的必要条件-符号的所有递归函数都是可计算的-在计算哲学中是众所周知的。然而，可计算结构理论虽然能够完全重建夏皮罗的方法，但似乎不在哲学家的关注范围之内。基于对标准阶自然数的案例研究，我们初步协调了这两种观点。首先，我们奠定了基本的概念基础重建夏皮罗的方法在可计算的结构，并显示，在几个例子中，如何有关前者的结果可以告知我们对后者的理解。其次，我们证明了一个新的结果，启发夏皮罗的概念的可接受性，但也相关的可计算结构理论。结果探索了可计算函数的度谱的经典概念与所讨论的结构之间的关系-具体地说，具有所有c. e。度作为一个谱-和我们的能力，计算（图像的）继任者从（图像的）功能在任何可计算的副本的结构。后一个属性可以被看作是相对化的接受每一个符号的结构。

2022-05-02cs.OHmath.LO

TC ^0的有界算术中的开归纳

Open induction in a bounded arithmetic for TC^0

众所周知，整数上的初等算术运算$+,\cdot,\le$在弱复杂性类$\mathrm{TC}^0$中是可计算的，并且这些运算的什么性质可以仅使用$\mathrm{TC}^0$ -可计算对象来证明是一个基本问题，即，有界算术理论中的一个对应于$\mathrm{TC}^0$。我们将证明，理论$\mathit{VTC}^0$扩展与公理假设的总体迭代乘法（这是可计算的$\mathrm{TC}^0$）证明归纳的量词免费公式的语言$\langle +,\cdot,\le \rangle$（IOpen），更一般地说，最小化$Σ^b_0$公式的语言巴斯的$S_2$。

2014-05-28cs.LOmath.LO