No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
infinite-time-computability × 11computability-theory × 5
set-theory × 4
lo.logic × 4
mathematical-philosophy × 3
ordinal-numbers × 2
theories-of-arithmetic × 2
ordinal-computability × 2
model-theory × 1
constructive-mathematics × 1
inner-model-theory × 1
constructibility × 1
intuitionism × 1
turing-machines × 1
infinite-time-turing-machine × 1