Documentos de Pin E. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Palabras Claves: "MATHEMATICAL LOGIC"

Subtipo de publicación

Publisher

Logic Journal of the IGPL(1)

Área temáticas

Procesos mentales conscientes e inteligencia(1)

Ética (Filosofía moral)(1)

Área de conocimiento

Filosofía del lenguaje(1)

Objetivos de Desarrollo Sostenible

ODS 4: Educación de calidad(1)

ODS 8: Trabajo decente y crecimiento económico(1)

ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

Origen

Palabras Claves

Computational complexity(1)

Graph Theory(1)

descriptive complexity(1)

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

Abstract: In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2p

Palabras claves:

Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGIC

Nerio Borges, Pin E.