Works by Damian Niwinski

( view other items matching `Damian Niwinski`, view all matches )
Order:
  1.  19
    A simple indeterminate infinite game.Damian Niwinski & Eryk Kopczynski - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 205-212.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    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  
  3.  16
    $Y = 2x$ vs. $y = 3x$.Alexei Stolboushkin & Damian Niwinski - 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 (3 more)  
     
    Export citation  
     
    Bookmark