Kleene第二模型的完备化
计算机科学中的逻辑
2025-06-11 v7 逻辑
摘要
我们研究了部分组合代数(pca)的完备化，特别是Kleene第二模型及其推广。我们考虑了文献中先前研究过的弱和强嵌入及完备化概念。已知每个可数pca可以弱嵌入到中，我们通过考虑更大基数的的推广将其推广到任意基数。这强调了在pca研究中的核心作用。我们还证明了及其推广具有强完备化。
关键词
引用
@article{arxiv.2312.14656,
title = {Completions of Kleene's second model},
author = {Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:2312.14656},
year = {2025}
}