Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy

Breadcrumb Abstract Shape
Breadcrumb Abstract Shape
Breadcrumb Abstract Shape
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy
Año:

2019

Journal:
Logic Journal of the IGPL
DOI:
https://doi.org/10.1093/jigpal/jzz009