首页/论文/1602.07583

arXiv 1602.075832016-02math.LO

有限代数生成的簇的自由代数是原子代数

Free algebras of discriminator varieties generated by finite algebras are atomic

H. Andréka, I. Németi

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

证明了在由有限个成员生成的有限相似型簇的自由生成的自由代数中，所有可定义的预序都是原子的。

英文摘要：

We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于结构完备性与几乎结构完备性问题：一个多类问题的实例研究

On structural completeness vs almost structural completeness problem: A discriminator varieties case study

我们研究以下问题：确定哪些几乎结构完备拟簇是结构完备的。我们提出了一个一般的解决方案，这个问题，然后在半简单的情况下的解决方案。作为一个结果，我们得到了一个结构完整的类簇的特征。逻辑中一个有趣的推论如下：设$L$是语言中一个相容的命题逻辑/演绎系统，其中包含用于真的公式，这是一个定理，而假的不是一个定理。还假定$L$具有由一个簇给出的适当语义。则$L$是结构完备的当且仅当它是极大的。所有这样的逻辑/演绎系统在结构上几乎是完整的。

2014-08-20math.LO

投射代数与因子同余簇中的本原次拟簇

Projective Algebras and Primitive Subquasivarieties in Varieties with Factor Congruences

证明了在每个紧同余都是因子同余且每个非平凡代数都含有极小子代数的簇中，一个可投射代数是可投射的当且仅当它的每个极小代数都是它的同态像.使用这个标准的投射性，我们描述了原始subquasi-varieties的x-varieties，有一个有限的极小代数嵌入在每个非平凡代数从这个品种。特别地，我们描述了一元Heyting代数，具有正则对合的Heyting代数，具有对偶伪补的Heyting代数和双Heyting代数的原拟簇。

2017-08-10math.LO

由完备化生成的簇

Varieties generated by completions

本文证明有序判别簇中完备化不生成持续有限代数，有限可测关系代数均为持续有限，据此否定回答Maddux的问题1.1(1)，证实Frias-Maddux的有限极大关系代数不在目标簇中，并指出两簇间存在连续统多个簇。

2018-10-10math.LO

德摩根幺半群的变种：原子的覆盖

Varieties of De Morgan monoids: covers of atoms

德摩根幺半群的簇DMM只有四个极小子簇。研究了这些原子在DMM子簇格中的并不可约覆盖。由幂等代数组成的两个原子中的一个没有这样的覆盖，另一个只有一个。剩下的两个原子缺少非平凡的幂等元。它们分别由4元De Morgan幺半群C4和D4生成，其中C4是唯一的非平凡0生成代数，其中非次直不可约De Morgan幺半群可以由非单同态映射到C4上. DMM中C4的同态原像（连同平凡De Morgan幺半群）构成一个真拟簇，它有一个最大的子簇U。U中的V（C4）变体的封面在这里显示。其中，只有10个（全部）。在这10个变种中的6个变种中，所有的非平凡成员都有C4作为收缩核。在这六个类的簇并中，每个次拟簇都是一个簇--事实上，每个有限次直不可约代数都是投射的。除U外，V（C4）[或V（D4）]在DMM内的所有覆盖都是双簇。其中，我们确定了无穷多个是随机生成的，还有一些不是。我们还证明了只有68个极小拟簇的德摩根幺半群。

2020-05-25math.LO

有限生成代数之间的满同态

Epimorphisms between finitely generated algebras

本文研究拟簇的弱ES性质，给出其刻画及在两类代数结构中检测该性质失效的方法，证明弱ES性质在合理假设下蕴含算术性，且具该性质的滤簇均为判别器簇。

2025-05-17math.LO

含算子布尔代数中自由代数的原子性及Pinter自由代数的一个新结果

On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras

本文给出了关于带算子的布尔代数簇的自由代数的一般定理，并对Pinter置换代数得到了一个新的结果。对于n \geq 3，且m>1，存在由m个元素自由生成的自由代数的生成集，它不是生成元的自由集.

2013-04-23math.LO

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

使用游戏构建相对化表征

Building relativized representations using games

我们证明了著名的表示定理的Andreka-Resek-Thompson，连同其polyadic模拟Ferenczi，使用游戏介绍代数逻辑由赫希和霍金森。我们还证明了原子代数是完全可表示的，并且所有这样的相对化集合代数都具有强融合性质。

2013-04-04math.LO

一阶逻辑某些可判定形式的弱Godel不完全性

Weak Godel's incompleteness property for some decidable versions of first order logic

阿尔弗雷德·塔斯基创立的柱形代数理论是一种有意识的努力，试图用一阶谓词演算来创建代数。令$n\inω$。István Németi证明了非交换柱形代数类（$NCA_n$）和弱柱形代数类（$WCA_n$）是具有$n$变量的一阶逻辑的可判定版本的例子。在这篇文章中，我们给出了这些类的方程理论的可判定性的新证明。我们也给出了一个答案的开放问题，所提出的Németi在1985年，解决原子性的生成这些类的自由代数。证明了簇$NCA_n$和簇$WCA_n$的所有生成自由代数都不是原子代数.换句话说，我们证明了一阶逻辑的相应版本具有弱哥德尔不完备性。

2015-11-16math.LO

团保护语义和保护逻辑的原子规范性、相对化表示和省略类型

Atom-canonicity, relativized representations and omitting types for clique guarded semantics and guarded logics

研究了适当地包含可表示代数簇的几类圆柱代数的原子正则性。这些代数具有相对化的表示，从而得到了许多关于有限变量片断和/或一阶逻辑的修正的省略型定理，既有否定的，也有肯定的.当我们保持通常的句法和相对化模型（使它们只在局部见证量词的可交换性）时，得到的是否定的结果;当我们在句法中弱化“量词的可交换性”并对语义进行不同的相对化时，得到的是肯定的结果。这样的代数也有弱的整齐嵌入性质，在这个意义上，它们嵌入到可能有限的高维代数的整齐约简中。在本文的第二部分中，最初为原子结构制定的各种可表示性概念以一种明显的方式提升到代数水平，如弱可表示性和强可表示性。这类代数（是原子的）完全通过整齐嵌入来刻画。最后，几个模型理论的问题，这样的类组成的代数具有弱整洁嵌入性能和相对化的表示，如可判定性的方程或普遍的理论，其有限axiomatizability，如果一阶可定义的，提出和回答。

2013-08-27math.LO

彩虹构造与Monk代数解决的整齐嵌入问题

Problems on neat embeddings solved by rainbow constructions and Monk algebras

本文综述了（塔斯基）代数逻辑的最新结果和方法。我们主要研究柱形代数。固定2<n<ω。彩虹结构被用来解决问题的类组成的代数有一个整洁的嵌入性质基本上推广了开创性的结果霍金森以及赫希和霍金森原子正规性和完整的陈述，分别。为了证明非原子正规性的无限多品种逼近各种各样的表示代数的维数n，所谓的爆破和模糊的建设使用。彩虹建设相比，建设使用僧侣般的代数和情况下，这两个建设的工作。当分割方法失败时。彩虹结构被用来证明有限维n的可表示对角自由代数的对角自由簇不允许只包含100个变量的泛公理化.可表示性的概念，如完整的，弱的和强的，从原子结构提升到原子代数，并在整洁的嵌入性质方面进行了研究。利用Blow-up和Blur构造，重新证明了Monk和Maddux关于有限维n的可表示关系类和柱形代数类的非有限公理化性的经典结果.给出了一阶逻辑的n变量片段的应用。文末以表格形式总结了本文的主要结果。

2015-02-03math.LO

时间和拓扑有限变量片段的代数分析，使用圆柱模态代数

Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras

我们研究我们称之为拓扑柱形代数和紧张柱形代数定义的每一个序数$α$。前者是以$α$为索引的$\sf S4$模态展开的维数为$α$的柱形代数。可表示拓扑代数的语义是由定义在其基上的拓扑的内部运算导出的。时态柱形代数是由模态$F$（未来）和$P$（过去）代数谓词时态逻辑扩展的柱形代数。我们证明了有限维$n>2$的紧张和拓扑柱形代数的无限多个变种包含和包括各种各样的维数$n$的可表示代数不是原子标准的。我们表明，任何类包含类的完全表示代数有一个弱整洁嵌入性质是不是小学。从这两个结果中，我们得出了谓词拓扑和时态逻辑的有限变量片段的省略类型相同的结论。我们表明，通常版本的省略类型定理限制到这样的片段时，变量的数量是$>2$显着失败，即使我们大大拓宽了类模型允许省略一个单一的非主要类型的可数原子理论，即非主要类型consting的co原子。

2014-02-02math.LO

线性逻辑的代数研究I：Girard代数

Linear Logic via algebra I: Girard algebras

DIISM, Università di Siena（锡耶纳大学）；University of Priština in Kosovska Mitrovica（普里什蒂纳大学）

本文研究作为乘性加性线性逻辑等价代数语义的Girard代数，明确其代数结构、子簇格性质，构造多样原子并得到$\textsf{MALL}$的$2^{\boldsymbol{\text{aleph}_0}}$个Post完全扩张。

2026-10-14math.LO