Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words

Olivier Finkel

doi:10.1007/978-3-662-47666-6_18

通信Dans Un Congrès Anneée:2015年

不完全性定理、大基数和无限字上的自动机

(1, 2)

1
2

奥利维尔·芬克尔

功能：奥特尔
人员ID:924907

装备逻辑数学

Jussieu数学研究所-巴黎河Gauche

Résumé

我们证明了存在一些1-计数器Büchi自动机A_n，对于整数n≥1，其一些基本性质与T_n=：ZFC+“存在（至少）n个不可达基数”等理论无关。特别是，如果T_n是一致的，则“L（A_n）是Borel”、“L（A _n）为算术”、“R（A _n）是ω-正则”、“M（A _ns）是确定性的”和“L（B _n）明确”可以从ZFC+“存在（至少）n+1个不可访问基数”而不是从ZFC-“存在（起码）n个不可读取基数”中证明。我们证明了2-带Büchi自动机所接受的无穷有理关系的类似结果。

Mots clés公司

集合论模型不完全性定理大红衣主教不可访问基数独立于公理系统“ZFC+存在n个无法访问的基数”。 2带Büchi自动机 1计数器Büchi自动机无限单词计算机科学中的逻辑自动机和形式语言

与葡萄园

信息逻辑[cs.LO] 逻辑[math.LO] Théorie et langage formel[法语]

菲奇尔校长

ICALP-2015-O-Finkel.pdf（163.52 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

奥利维尔·芬克尔 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-01234945

Soumis le:vendredi 2015年11月27日-14:28:40

Dernière修改：samedi 27 avril 2024-03:15:52

长期存档：samedi 29 avril 2017-02:48:58

日期和版本

hal-01234945，版本1 (27-11-2015)

身份证明人

HAL Id： hal-01234945，版本1
内政部： 10.1007/978-3-662-47666-6_18

Citer公司

奥利维尔·芬克尔。不完全定理，大基数，无限词上的自动机。2015年ICALP第42届国际自动化、语言和编程学术讨论会2015年7月，日本京都。第22-233页，⟨10.1007/978-3-662-47666-6_18⟩.⟨hal-01234945⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

UNIV-PARIS7大学 UPMC公司中国科学院 INSMI公司 IMJ公司 IMJ_日志索邦大学 SU-SCIENCES公司 UP-SCIENCES公司

355 磋商

207 交易费用