A model-theoretic proof for P ≠ NP over all infinite abelian group

Publisher： Cambridge University Press

E-ISSN： 1943-5886|67|1|235-238

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.67, Iss.1, 2002-03, pp. : 235-238

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS

By  

The Journal of Symbolic Logic, Vol. 82, Iss. 1, 2017-03 ,pp. : 62-76

Cambridge University Press

Access to resources Recommend Favorite

Classifying model-theoretic properties

By  

The Journal of Symbolic Logic, Vol. 73, Iss. 3, 2008-09 ,pp. : 885-905

Cambridge University Press

Access to resources Recommend Favorite

P versus NP and computability theoretic constructions in complexity theory over algebraic structures

By  

The Journal of Symbolic Logic, Vol. 69, Iss. 1, 2004-03 ,pp. : 39-64

Cambridge University Press

Access to resources Recommend Favorite

An Invitation to Model-Theoretic Galois Theory

By  

Bulletin of Symbolic Logic, Vol. 16, Iss. 2, 2010-06 ,pp. : 261-269

Cambridge University Press

Access to resources Recommend Favorite

A Model-Theoretic Approach to Ordinal Analysis

By  

Bulletin of Symbolic Logic, Vol. 3, Iss. 1, 1997-03 ,pp. : 17-52

Cambridge University Press

Access to resources Recommend Favorite