Fagin's theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:finite_model_theory
theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label Fagin's theorem
gptkbp:namedAfter gptkb:Ronald_Fagin
gptkbp:publishedIn gptkb:Journal_of_Symbolic_Logic
Generalized first-order spectra and polynomial-time recognizable sets
gptkbp:relatedTo gptkb:NP_complexity_class
gptkb:existential_second-order_logic
gptkbp:state NP is precisely the set of properties expressible by existential second-order logic on finite structures
gptkbp:yearProposed 1974
gptkbp:bfsParent gptkb:Ronald_Fagin
gptkbp:bfsLayer 6