5

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