Pantelis E. Eleftheriou

Curriculum Vitae

    Publications in Journals:
  1. (with C. Koutras and C. Nomikos), Notions of bisimulation for Heyting-valued modal languages, Journal of Logic and Computation, in press.
  2. Groups definable in linear o-minimal structures: the non-compact case, Journal of Symbolic Logic, Volume 75 (2010), 208-220.
  3. Compact domination for groups definable in linear o-minimal structures, Archive for Mathematical Logic, Volume 48, Issue 7 (2009), 607-623.
  4. (with M. Edmundo), Definable group extensions in semi-bounded o-minimal structures, Mathematical Logic Quarterly, Volume 55 (2009), 598-604.
  5. A semi-linear group which is not affine, Annals of Pure and Applied Logic 156 (2008), 287-289.
  6. (with M. Edmundo), The universal covering homomorphism in o-minimal expansions of groups, Mathematical Logic Quarterly, Volume 53 (2007), 571-582.
  7. (with S. Starchenko), Groups definable in ordered vector spaces over ordered division rings, Journal of Symbolic Logic, Volume 72 (2007), 1108-1140.
  8. (with C. Koutras), Frame constructions, truth invariance and validity preservation in many-valued modal logic, Journal of Applied Non-Classical Logics, Volume 15 - No. 4 (2005), 367-388.

    9. Publications in Conference Proceedings:
  9. (with C. Koutras and C. Nomikos), Notions of Bisimulation for Heyting-Valued Modal Languages, in A. Beckman, C. Dimitracopoulos, B. Loewe (eds): Logic and Theory of Algorithms, Proceedings of Computability in Europe 2008 (CiE 2008), Athens University Press (2008), pp. 117-126.

    10. Preprints:
  10. Structure theorems for semi-bounded groups, preprint (2009).
  11. (with M. Edmundo and L. Prelli), Stratifications for semi-linear sets, preprint (2009).
  12. (with M. Edmundo and L. Prelli), Covers and fundamental groups in o-minimal expansions of groups, in preparation.
  13. Affine embeddings for semi-linear groups, in preparation.
  14. Goldblatt-Thomason theorem for many-valued modal logic, in preparation.

    15. Ph.D. Thesis:
  15. Groups definable in linear o-minimal structures, University of Notre Dame, July 2007.

    16. Notes:
  16. Pregeometries and imaginaries, May 2005.

    17. Notes from seminar talks:
  17. Groups definable in o-minimal structures.
  18. The descending chain condition for o-minimal groups.