#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2005

2017

- This year (1)
- Last 5 years (2)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Silvia Barbina, Dugald Macpherson
- J. Symb. Log.
- 2007

Reconstruction results give conditions under which the abstract group structure of the automorphism group Aut(M) of an ω-categorical structure M determines the topology on Aut(M), and hence determines M up to biinterpretability, by [1]; they can also give conditions under which the abstract group Aut(M) determines the permutation group 〈Aut(M),M〉, so… (More)

- Silvia Barbina, ·Katie Chicot
- 2017

This paper contains a classification of countable lower 1-transitive linear orders. This is the first step in the classification of countable 1-transitive trees given in Chicot and Truss (2009): the notion of lower 1-transitivity generalises that of 1-transitivity for linear orders, and it is essential for the structure theory of 1-transitive trees. The… (More)

- Silvia Barbina
- 2005

Generic automorphisms are a common theme when one works with auto-morphism groups of countable structures. They play a pivotal role in reconstruction results. In these notes we shall define and explain a notion of generic, due to John Truss, which is highly relevant to reconstruction. The idea is that a generic automorphism acts on the elements of the… (More)

- Silvia Barbina, Domenico Zambella
- Notre Dame Journal of Formal Logic
- 2012

We compare two different notions of generic expansions of countable saturated structures. On one hand there is a kind of genericity related to modelcompanions and to amalgamation constructions à la Hrushovski-Fräıssé; on the other, there is a notion of generic expansions defined via topological properties and Baire category theory. The second type of… (More)

- ‹
- 1
- ›