Scifaro

中文

泛型大基数的初等可定义性

逻辑 2021-07-01 v2

作者: Sakaé Fuchino , Hiroshi Sakai

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明了泛型与 Laver 泛型超紧性的概念在 ZFC 的语言中是初等可定义的。这对于泛型与 Laver 泛型（几乎）巨大性以及其他大基数的泛型版本同样成立。

关键词

泛型大基数 Laver 泛型超紧性初等可定义性 ZFC 巨大基数

引用

@article{arxiv.2106.14129,
  title  = {The first-order definability of generic large cardinals},
  author = {Sakaé Fuchino and Hiroshi Sakai},
  journal= {arXiv preprint arXiv:2106.14129},
  year   = {2021}
}