迭代代数阶
Iteratively algebraic orders
摘要：
M. H. Albert，及其在格上的应用。
英文摘要：
A short proof of a theorem of M.H. Albert, and its application to lattices.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
伪初等类和二阶类的代数刻画
Algebraic characterisation of pseudo-elementary and second-order classes
本文通过代数方法刻画了可由二阶逻辑定义的类和伪初等类。解决了伪初等类的长期问题，给出了PC_Δ类的内在闭包性质，并对二阶等价结构进行了结构分类。
math.LO
分解一阶微分方程及其代数通解
Disintegrated order one differential equations and algebraic general solutions
本文推广了Rosenlicht的结果，给出了一阶微分方程为$D(x) = f(x)$（其中$f$为有理函数）与常数正交的充要条件.根据本文的主要结果，我们还解释了代数通解与常数弱正交性之间的联系;附录中给出了与Joel Nagloo和Ngoc Thieu Vo联合撰写的部分讨论。
math.LO
仿正交模偏序集的代数性质
Algebraic properties of paraorthomodular posets
仿正交模偏序集是由量子力学的逻辑代数方法中的量子结构诱导的具有反调对合的有界偏序集。本工作的目的是从代数和序理论的角度对仿正交模偏序集理论进行系统的研究。一方面，我们表明，paraorthomodular偏序集是顺从的代数处理，通过一个光滑的表示有界directoid与反调对合。另一方面，我们研究了它们在禁戒构型方面的序理论特征。此外，给出了有界偏序集具有反序对合的Dedekind-MacNeille完备化是仿正交模的充分和必要条件.
math.LO
一阶逻辑中的Algebraic geometry
Algebraic geometry in First Order Logic
在每一种代数$Θ$中，我们都可以考虑它的逻辑和代数几何。在以前的论文几何方程逻辑，即，研究了方程几何。在这里，我们描述了这个理论的一个扩展到一阶逻辑（FOL）。这种几何中的代数集合由任意的FOL公式集合确定。这种概括的主要动机在于知识科学的应用领域。在本文中，FOL公式被认为是在代数逻辑的背景下。为此，我们定义了特殊的Halmos类别。这些范畴在与FOL相关的代数几何中所起的作用与自由代数范畴$Θ^0$在方程代数几何中所起的作用相同。本文共分三个部分。第1节是介绍性的。第一部分（第2- 4节）包含给定代数种类中的代数逻辑背景知识$Θ$。第二部分是专门的代数几何有关的FOL（第5- 7节）。在最后一部分（第8- 9节）中，我们考虑前面的材料在知识科学中的应用。
math.GMmath.LO
对一般平面代数向量场进行了分解
Generic planar algebraic vector fields are disintegrated
在这篇文章中，我们研究定义在常微分域上的$2$阶代数微分方程的模型论性质。特别地，我们证明了一个一般的微分方程的顺序$2$和程度$d \geq 3$在一个差分封闭领域的解决方案是强烈的最小和解体。本文还从一般平面代数向量场的分析解的代数（非）可积性和代数独立性两个方面给出了这一结果的另外两种表述。
math.CAmath.LO
关于数量代数高阶理论
On Quantitative Algebraic Higher-Order Theories
我们探讨了扩展Mardare等人的可能性。定量代数的结构，自然出现的组合逻辑和微积分。首先，我们证明了该框架确实适用于这些结构，并给出了可靠性和完备性结果。然后，我们证明了一些负面的结果，清楚地描绘到何种程度的度量空间范畴可以这样的理论模型。最后，我们给出了几个例子的非平凡高阶定量代数。
cs.LOmath.LO
更多相关论文收起更多论文
有理数的无限代数扩张中整数的一阶可判定性和可定义性
First Order Decidability and Definability of Integers in Infinite Algebraic Extensions of Rational Numbers
我们扩展了Videla和Fukuzaki的结果，在Q的无限代数扩张的大类中定义了代数整数，并将这些定义用于某些域以显示一阶不可判定性。我们还得到了分式域上整数环可定义的一个结构充分条件。特别是，我们证明了以下命题成立。(1)对于任何有理素数$q$和任何正有理整数$m$，代数整数在Q的任何伽罗瓦扩张中是可定义的，其中任何有限子扩张的次数不能被$q^{m}$整除。(2)给定一个素数$q$和一个整数$m>0$，代数整数可以在由任何集合$\{ξ_{p^{\ell}}| \ell \in \Z_{>0}, p \not=q {is any prime such that} q^{m +1}\not | (p-1)\}$生成的分圆扩张（及其任何子域）中定义。(3)Q的任意阿贝尔扩张的一阶理论都是不可判定的。我们还证明了在Q的无限代数扩张中的一个有理素数分裂的条件下，在所讨论的域上存在一条椭圆生成的椭圆曲线足以定义Z，并证明该域是不可判定的。
math.LOmath.NT
一阶逻辑及以上的片段的代数分类
Algebraic classifications for fragments of first-order logic and beyond
逻辑的复杂性和可判定性是一个主要的研究领域，涉及大量不同的逻辑系统。这就要求在实地采取统一和系统的办法。我们介绍了一个研究计划的基础上的代数方法的复杂性分类的片段的一阶逻辑（FO）和超越。我们的基本系统GRA，或一般关系代数，与FO是等价的。它类似于柱形代数，但采用了一个有限的签名，只有七个不同的运营商。我们提供了一个全面的分类的可判定性和复杂性的系统，通过限制允许的运营商集。我们还给出了最知名的可判定片段的FO的代数特征。此外，为了超越FO，我们引入了广义算子的概念，并简要地研究了相关的系统。
cs.LOmath.LO
非平凡同族代数曲线上的一阶微分方程
Order one differential equations on nonisotrivial algebraic curves
该研究在特征零微分闭域的非平凡同族曲线上构造了新的几何平凡强极小微分代数簇，通过建立Kodaira-Spencer形式理论及与形变理论的关联，解答了Rosen的若干公开问题及Manin核相关问题。
math.AGmath.LOmath.NT
不可约真假值代数满足许多一阶代数逻辑的完备性
Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics
众所周知，一阶经典逻辑的希尔伯特式演绎系统对于使用所有布尔代数作为真假值代数构建的模型论是可靠和完备的，当且仅当它对于仅使用不可约布尔代数（它们都同构于二元布尔代数）的模型论是可靠和完备的。本文对代数语义满足某些极小假设的任何一阶逻辑证明了一个类似的结果，并将此结果应用于一阶量子逻辑。
math-phmath.LOmath.MP
非平凡同构型代数曲线上的一阶微分方程
Order one differential equations on nonisotrivial algebraic curves
该研究在特征零微分闭域下的非平凡同构型曲线上构造了新的几何平凡强极小微分流形例子，通过发展τ-形式理论并关联形变理论，解答了领域内若干开放问题。
math.AGmath.CAmath.LO
代数函数域上Campana点和Darmon点的一阶可定义性
First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
本文基于二次Pfister形式理论，将Koenigsmann在数域中证明Z在Q中普遍可定义的方法推广到代数函数域，从而在更一般的代数簇上定义Campana点和Darmon点。
math.AGmath.LOmath.NT
