TY  - RPRT
TI  - Infinite time computable model theory
AU  - Joel David Hamkins
AU  - Russell Miller
AU  - Daniel Seabold
AU  - Steve Warner
PY  - 2006
UR  - https://arxiv.org/abs/math/0602483
ID  - math/0602483
ER  -