A model-theoretic proof for P ≠ NP over all infinite Abelian groups

Journal of Symbolic Logic

Volumn 67, Issue 1, 2002, Pages 235-238

  Prunescu, Mihai ^a,b  

^a UNIVERSITY OF GREIFSWALD   (Germany)

^b INSTITUTE OF MATHEMATICS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036002875     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1190150041     Document Type: Article

References (7)

1. On a theory of computation and complexity over the real numbers
2. On P vs. NP for parameter-free programs over algebraic structures
3. Real number models under various sets of operations