超限Japaridze代数中的良序II：图灵进展及其良序
逻辑
2013-12-23 v2
摘要
我们研究Japaridze的可证性逻辑GLP的超限扩张及其内部自然出现的良基关系。每个序数在“词”类上诱导一个偏序，这些词是GLP中可表达的迭代一致性陈述。之前研究了这些偏序的良序限制；在本文中，我们考虑无限制的偏序，它们不再是线性的，但保持良基。这些无限制偏序对GLP的模态语义以及图灵进展具有重要影响。
引用
@article{arxiv.1204.4743,
title = {Well-orders in the transfinite Japaridze algebra II: Turing progressions and their well-orders},
author = {David Fernández-Duque and Joost J. Joosten},
journal= {arXiv preprint arXiv:1204.4743},
year = {2013}
}
备注
Extension of previous version by Section 10, some new proofs and theorems