Institution: | a Department of Mathematics, University of North Carolina - Charlotte, 9201 University City Blvd., Charlotte, NC 28223-0001, USA b Department of Computer Science and Mathematical Logic, Charles University, Malostranské nám. 25, 11000 Praha 1, Czech Republic |