关于 H 的范围性质
逻辑
2015-07-01 v3 计算机科学中的逻辑
摘要
最近，A. Polonsky 证明了范围性质 (range property) 对 H 不成立。我们在此给出了一些关于闭项的条件，这些条件意味着其范围具有无限基数。
引用
@article{arxiv.1311.0363,
title = {About the range property for H},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:1311.0363},
year = {2015}
}