#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2000

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

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

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

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

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

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

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

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

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

Let T be simple, work in C eq 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 ACL-embedded in Q (see definitions below). Then Aut(p/Q) = {σ|p C | σ ∈ Aut(C/Q)} with its action on p C is type-definable in C eq over ∅. In particular, if p ∈… (More)

- 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 first-order 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
- Arch. Math. Log.
- 2016