5

Answers
votes newest views recent
2
Most general formulation of Gödel’s incompleteness theorems
17
Which recursively-defined predicates can be expressed in Presburger Arithmetic?
0
What is the relationship between “translation” and time complexity?
0
‘Closure’ of CFLs under complementation and intersection
3
$2$-variable segment of FO over ordered, finite structures