空词汇中一个亨金量词足以导致不可判定性
逻辑
2016-12-22 v1
摘要
我们证明存在单个亨金量词，使得一阶逻辑加上该量词后在空词汇中是不可判定的。给出了此类量词的例子。
引用
@article{arxiv.1612.07154,
title = {One Henkin Quantifier in the empty vocabulary suffices for undecidability},
author = {Konrad Zdanowski},
journal= {arXiv preprint arXiv:1612.07154},
year = {2016}
}