TY  - RPRT
TI  - The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
AU  - Yoshiki Nakamura
PY  - 2026
DO  - 10.1007/978-3-662-58771-3_11
UR  - https://arxiv.org/abs/2610.35770
ID  - 2610.35770
ER  -