Gödel-Löb可证性逻辑关于正规测度滤子序列的完备性
逻辑
2023-02-24 v3
摘要
假设存在合适的大基数，我们证明可证性逻辑GL关于正规测度滤子序列是完备的。这一结果回答了Andreas Blass在1990年提出的一个问题，以及Beklemishev和Joosten提出的一个相关问题。
引用
@article{arxiv.2110.02786,
title = {Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures},
author = {Mohammad Golshani and Reihane Zoghifard},
journal= {arXiv preprint arXiv:2110.02786},
year = {2023}
}