Order:
  1.  21
    A simple indeterminate infinite game.Damian Niwinski & Eryk Kopczynski - 2014 - In Damian Niwinski & Eryk Kopczynski (eds.), A simple indeterminate infinite game. pp. 205-212.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  40
    (1 other version)Y = 2x vs. Y = 3x.Alexei Stolboushkin & Damian Niwiński - 1997 - Journal of Symbolic Logic 62 (2):661-672.
    We show 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 which may be of relevance to certain open problems in circuit complexity.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark