局部有限ω语言和有效分析集具有相同的拓扑复杂性-Archive ouverte HAL Accéder directment au contenu公司
第三条Dans Une Revue 数理逻辑学报 Anneée:2016年

局部有限ω-语言和有效分析集具有相同的拓扑复杂性

Résumé

Ressayre在[Res88]中引入了当地句子及其定义的形式语言。我们证明了局部有限ω-语言和有效分析集具有相同的拓扑复杂性：局部有限Ω-语言类的Borel和Wadge层次等于有效分析集类的Borl和Wagge层次。特别地，对于每个非空递归序数α<ω_1^CK，存在一些∑¨0_α-完备和一些∏^0_α-complete局部有限ω-语言，并且局部有限Ω-语言的Borel秩集的上确界是序数γ^1_2，它严格大于第一个非递归序数ω_1 ^CK。这就回答了Simonnet[Sim92]以及Duparc、Finkel和Ressayre在[DFR01]中提出的局部有限ω语言的拓扑复杂性问题。此外，我们还证明了由局部句子ξ定义的局部有限ω-语言的拓扑复杂性可能取决于Zermelo-Frenkel公理系统ZFC的模型。使用与证明上述结果类似的构造，我们还表明局部有限ω-语言的等价性、包含性和普适性问题是∏^1_2-完全的，因此是高度不可判定的。

与葡萄园

逻辑[math.LO] 信息[cs] Théorie et langage formel[法语] 信息逻辑[cs.LO]
菲奇尔校长
小品小品
TOPLOC-2-修订版pdf（295.8 Ko） 特勒充电器
起源：菲奇尔斯制片人par l’（les）auteur（s）

奥利维尔·芬克尔以下为：Connectez-vous浇注接触器le contributer

https://hal.science/hal-01132963

Soumis le:mercredi 18 mars 2015-11:55:02

Dernière修改日期：vendredi 3 mai 2024-10:00:56

长期存档时间：2015年7月22日07:07:24

Télé充电器倒可视化

日期和版本

hal-01132963， 版本1 (18-03-2015)

身份证明人

Citer公司

奥利维尔·芬克尔。局部有限ω-语言和有效分析集具有相同的拓扑复杂性。数理逻辑学报2016年，第62（4-5）页，第303-318页。⟨10.1002/malq.201400113⟩。⟨哈尔-01132963⟩

出口商

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

收藏

UNIV-PARIS7大学 UPMC公司 中国科学院 ELM公司 INSMI公司 IMJ公司 IMJ_日志 美国药典 索邦大学 SU-SCIENCES公司 UP-SCIENCES公司
197 磋商
127 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 脸谱网 X（X） LinkedIn链接 更多