TY  - RPRT
TI  - One Henkin Quantifier in the empty vocabulary suffices for undecidability
AU  - Konrad Zdanowski
PY  - 2016
UR  - https://arxiv.org/abs/1612.07154
ID  - 1612.07154
ER  -