@InProceedings{DeSimoneNavaraPtak:QS04,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-11-27 },
  author =      {De~Simone, Anna and Navara, Mirko and Pt{\'a}k, Pavel},
  title =       {{C}antor--{B}ernstein theorems for quantum structures},
  year =        {2004},
  pages =       {12--12},
  booktitle =   {Quantum Structures 2004},
  editor =      {J.~Harding},
  publisher =   {New Mexico State University},
  address =     {Las Cruces, New Mexico, USA},
  isbn =        {none},
  book_pages =  {67},
  month =       {July},
  day =         {17-22},
  venue =       {Denver, Colorado, USA},
  organization ={University of Denver},
  annote = {The classical Cantor-Bernstein theorem constructs a
    bijection between two sets from injective mappings. Recently many
    generalizations were found, e.g. for MV-algebras, orthomodular
    lattices, effect algebras, distributive lattices, etc. All these
    approaches required some sigma-completeness condition and
    further restrictions on the isomorphic intervals.  We have
    suggested a generalization in another direction: we study the
    class of structures which satisfy the Cantor-Bernstein theorem
    without any additional restrictions.},
  keywords =    {Cantor-Bernstein theorem, MV-algebra, orthomodular lattice, effect algebra, distributive lattice},
  prestige =    {important},
  importance =  {1},
  authorship =  {33-33-33},
  project =     {GACR 201/03/0455},
}