Publikationen

2012

• F. Abu Zaid, E. Grädel, and Ł. Kaiser. The Field of Reals is not omega-Automatic. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012 (C. Dürr and T. Wilke, Eds.), 2012.                                 
  Abstract   BibTeX

  We investigate structural properties of omega-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure is omega-automatic. We apply these methods to show that no field of characteristic 0 admits an injective omega-automatic presentation, and that uncountable fields with a definable linear order cannot be omega-automatic.

  @inproceedings{AGK12,
       author = {Faried {Abu Zaid} and Erich Gr{\"a}del and {\L}ukasz Kaiser},
       booktitle = {{Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS~2012}},
       editor = {Christoph D{\"u}rr and Thomas Wilke},
       isbn = {978-3-939897-35-4},
       title = {{The Field of Reals is not omega-Automatic}},
       url = {http://www.logic.rwth-aachen.de/pub/abuzaid/reals_not_automatic.pdf},
       year = {2012},
  }
  

2011

• F. Abu Zaid. Definability in $\omega$-Automatic Structures. Diploma thesis, RWTH-Aachen, 2011.             
  BibTeX

  @misc{AbuZaid08,
       author = {Faried {Abu Zaid}},
       howpublished = {Diploma thesis, RWTH-Aachen},
       title = {{Definability in $\omega$-Automatic Structures}},
       url = {http://logic.rwth-aachen.de/~abuzaid/diplomarbeit.pdf},
       year = {2011},
  }