#### Filter Results:

- Full text PDF available (15)

#### Publication Year

2005

2017

- This year (0)
- Last 5 years (5)
- Last 10 years (13)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos
- J. Log. Comput.
- 2012

We examine the notion of bisimulation and its ramifications, in the context of the family of Heyting-valued modal languages introduced by M. Fitting. Each modal language in this family is built on an… (More)

- Pantelis E. Eleftheriou
- J. Symb. Log.
- 2010

Let M = 〈M, +, <, 0, S〉 be a linear o-minimal expansion of an ordered group, and G = 〈G,⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably connected with respect to the… (More)

- Pantelis E. Eleftheriou
- Ann. Pure Appl. Logic
- 2008

In this short note we provide an example of a semi-linear group G which does not admit a semi-linear affine embedding; in other words, there is no semi-linear isomorphism between topological groups f… (More)

An o-minimal expansion M = 〈M, <, +, 0, . . . 〉 of an ordered group is called semi-bounded if it does not expand a real closed field. Possibly, it defines a real closed field with bounded domain I ⊆… (More)

The goal of this note is to fix an error in the proof of [2, Proposition 3.6]. The statement of the theorem requires a a small change, and so does the proof. Recall that for a definable abelian group… (More)

- Pantelis E. Eleftheriou, Sergei Starchenko
- J. Symb. Log.
- 2007

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G,⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably… (More)

- Mário J. Edmundo, Pantelis E. Eleftheriou
- Math. Log. Q.
- 2007

Suppose that G is a definably connected, definable group in an ominimal expansion of an ordered group. We show that the o-minimal universal covering homomorphism p̃ : G̃ −→ G is a locally definable… (More)

- Mário J. Edmundo, Pantelis E. Eleftheriou
- Math. Log. Q.
- 2009

We fix throughout this paper an o-minimal expansionR = 〈R, <, +, 0, . . . 〉 of an ordered group. By “definable” we mean “definable inR” possibly with parameters. A group G = 〈G, ·〉 is said to be… (More)

In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the… (More)

- Pantelis E. Eleftheriou
- Bulletin of Symbolic Logic
- 2013

We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a (geometric) lattice. We propose a definition of a… (More)