#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ziv Shami
- J. Symb. Log.
- 2000

- Ziv Shami
- J. London Math. Society
- 2011

- Ziv Shami
- J. Symb. Log.
- 2005

- Ziv Shami
- J. Symb. Log.
- 2004

- Ziv Shami
- Ann. Pure Appl. Logic
- 2004

- Bradd Hart, Ziv Shami
- J. Symb. Log.
- 2005

Let T be simple, work in Ceq over a boundedly closed set. Let p ∈ S(∅) be internal in a quasi-stably-embedded type-definable set Q (e.g. Q is definable or stably-embedded) and suppose (p,Q) is ACLembedded in Q (see definitions below). Then Aut(p/Q) = {σ|pC | σ ∈ Aut(C/Q)} with its action on pC is type-definable in Ceq over ∅. In particular, if p ∈ S(∅) is… (More)

- Ziv Shami
- Arch. Math. Log.
- 2016

- Ziv Shami
- 2009

We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.

- Ziv Shami
- 2011

We prove a model theoretic Baire category theorem for τ̃ f low-sets in a countable simple theory in which the extension property is firstorder and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology… (More)

- Ziv Shami, Frank O. Wagner
- J. Symb. Log.
- 2002