arXiv 1710.024082017-10-06math.LO

A recursive formula for the number of semi-Heyting algebras definable on a finite chain

Luiz F. Monteiro, Juan Manuel Cornejo, Ignacio D. Viglizzo

DOI：: 10.1002/malq.201900070

英文摘要：

We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with $n$ elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus obtained to the one previously known.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

o-极小结构中的分配格

Distributive lattices in o-minimal structures

University of New South Wales（新南威尔士大学）

研究o-极小结构中可定义的分配格与Heyting代数，给出实闭域扩张上可定义的一维有界分配格的完整描述，并证明可定义的Birkhoff表示定理，用于分类Heyting代数语言中单变量方程在给定代数最大维子集上的可满足性。

2026-07-14math.LO

关于Bellissima关于生成的自由Heyting代数的构造及其他

On Bellissima's construction of the finitely generated free Heyting algebras, and beyond

本文从拓扑学和模型论的角度研究了非生成的自由Heyting代数。我们审查Bellissima的代表性的生成的自由海廷代数，我们证明，它产生一个嵌入profinite完成，这也是完成相对于一个自然定义的度量。我们给出了一个代数解释的Kripke模型Bellissima作为主理想sprectrum，并表明它是一阶解释的海廷代数，从几个模型的理论和代数性质的衍生。例如，我们证明了一个自由生成的Heyting代数只有一组自由生成元，这组自由生成元是可定义的，从而它的自同构群是它的生成元上的置换群.

2008-12-10math.LO

命题之间的可分性关系

Apartness relations between propositions

本文利用 Heyting 代数语义对命题逻辑中可定义的可分性关系进行分类，证明含非平凡可分性项的 Heyting 代数满足弱排中律、含紧密可分性项的必为布尔代数，并说明 Martin-Löf 类型论无法构造命题间的非平凡可分性关系。

2024-10-18cs.LOmath.LO

海廷代数上的辩证范畴

Dialectica Categories over Heyting Algebras

Chapman University（查普曼大学）；Topos Institute（托珀斯研究所）

研究海廷代数上的辩证范畴，通过对德·派瓦对哥德尔辩证解释范畴化中偏序特化的研究，在代数环境重现证明并获特定结果，如嵌入伴随性变化、张量在不同构造中的表现及反射坍缩与选择公理的关系。

2026-07-28cs.LOmath.CTmath.LO

论域中的\emptyset可定义元素

On \emptyset-definable elements in a field

设K是域，\tilde{K}表示所有r个\in K的集合，对于该集合存在有限集A（r），其中{r} \subseteq A（r）\subseteq K使得每个映射f：A（r）\to K满足：如果1 \in A（r）则f（1）=1，如果a，b \in A（r）和a+b \in A（r）则f（a+b）=f（a）+f（b），如果a，b \in A（r）和a \cdot b \in A（r）则f（a \cdot b）=f（a）\cdot f（b），也满足f（r）=r。我们证明：\tilde{K}是K的子字段，\tilde{K} ={x \in K：{x}在无参环语言中是存在一阶可定义的}，若K的某个子域是代数闭的，则\tilde{K}是K中的素域，\tilde{K}的某些元素在Q上是超越的（在R上，在Q_p上）对于在Q上生成的一大类域K（推广R，推广Q_p），若K是R的勾股子域，t是K上的超越子域，且r是\in K的递归逼近，则{r}是\emptyset -可定义于（K（t），+，\cdot，0，1），如果实数r是递归可逼近的，那么对于某个一元谓词U，{r}是在（R，+，\cdot，0，1，U）中存在\emptyset可定义的，而U是在（R，+，\cdot，0，1）中隐式\emptyset可定义的.

2006-04-18math.LOmath.NT

代数与多进代数，新观点

Cylindric and polyadic algebras, new perspectives

我们推广蒙克的模式的概念，以这样一种方式来整合有限维。这使我们能够将有限维的大量深入结果提升到无限维的情况下，就像Henkin Monk和Tarski第一部分中的问题2.12的解决方案，由Hirsch和Hodkinson解决。这个提升论证已经在与罗宾·赫希的一篇联合论文中使用过，但在一个更狭窄的背景下，被接受发表在《符号逻辑杂志》上。我们还给出了无限维模式的一个新的一般定义，它涵盖了Monk模式和Halmos模式。几个代数性质（如合并）证明了系统的品种可定义的这样一个模式，如MV代数，约化的Heyting polyadic代数和Ferenczi的圆柱polyadic代数的实例。最后，指出了两篇期刊论文中的两处严重错误。一个是固定的，第二个中所声称的结果被削弱了。

2013-08-31math.LO

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

重新获得的Paradel：超越Goedel阴影的生活

Paradox regained: Life beyond Goedel's shadow

哥德尔明确的论文是，他的不可判定公式GUS是一个良好的形式，良好定义的正式句子在任何形式化的直觉算术IA的公理和规则的推理是递归定义。他的隐含论点是，在任何这样的系统中，GUS都不是形式上不一致的。我认为，在一个建设性的，直观上无可非议的，和递归定义的形式化PP IA的GUS是一个合式公式，但不明确的正式句子，反映了“骗子”悖论PP。此外，引入“形式真理”和“可证明性”的价值观IA通过PP选择的命题导致卢卡斯的哥德尔的论点崩溃。

2002-06-27math.GMmath.LO