TY  - RPRT
TI  - Godel's Second Incompleteness Theorem for Definable Theories
AU  - Payam Seraji
AU  - Conden Chao
PY  - 2016
UR  - https://arxiv.org/abs/1602.02416
ID  - 1602.02416
ER  -