• DocumentCode
    3623140
  • Title

    y=2x vs. y=3x

  • Author

    D. Niwinski;A. Stolboushkin

  • Author_Institution
    Inst. of Inf., Warsaw Univ., Poland
  • fYear
    1993
  • Firstpage
    172
  • Lastpage
    178
  • Abstract
    It is shown that no formula of first-order logic using linear ordering and the logical relation y=2x can define the property that the size of a finite model is divisible by 3. This answers a long-standing question that may be of relevance to certain open problems in circuit complexity.
  • Keywords
    "Complexity theory","Informatics","Ear","Polynomials","Logic circuits","Computer science","Mathematics"
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1993. LICS ´93., Proceedings of Eighth Annual IEEE Symposium on
  • Print_ISBN
    0-8186-3140-6
  • Type

    conf

  • DOI
    10.1109/LICS.1993.287590
  • Filename
    287590
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3623140