Related Tags
decidability × 155lo.logic × 62
computability-theory × 34
nt.number-theory × 22
model-theory × 21
diophantine-equations × 16
gr.group-theory × 14
algorithms × 12
computational-complexity × 12
reference-request × 10
proof-theory × 9
tiling × 8
theories-of-arithmetic × 8
formal-languages × 7
mg.metric-geometry × 6
automata-theory × 6
ra.rings-and-algebras × 5
ds.dynamical-systems × 5
combinatorial-group-theory × 5
ag.algebraic-geometry × 4
set-theory × 4
matrices × 4
polynomials × 4
computational-number-theory × 4
transcendental-number-theory × 4