Some new results in monadic second-order arithmetic

DOI10.3233/COM-150036zbMath1337.03087MaRDI QIDQ3195649

Stanislav O. Speranski

Publication date: 20 October 2015

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

complexity; definability; monadic second-order arithmetic

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

03F35: Second- and higher-order arithmetic and fragments