**Model Theory Seminar**

**Marcos Mazari Armida**

**CMU**

**Title: ** Quasiminimal Classes, Part 1

This series of talks will be focus on proving that any Quasiminimal Pregeometry Class is uncountably categorical. The approach we will take is the one developed by Levon Haykazyan in his paper: “Categoricity in Quasiminimal Pregeometry Classes”. The difference between his proof and the ones previously developed is that his proof focuses in $\sigma-$embedings instead of closed embeddings. Due to that, his construction can be carried out without using excellence of the class. Which has always been the most technical and hardest to prove when trying to apply the result to specific classes of structures, like ZIlber’s pseudo exponentiation in the context of Schanuel’s conjecture .

**Date:**Monday, April 18, 2016

**Time: **5:00 – 6:30 PM

**Location: **Wean 7201

————————————————————————

**Model Theory Seminar**

**Marcos Mazari Armida**

**CMU**

**Title: ** Quasiminimal Classes, Part 2

This series of talks will be focus on proving that any Quasiminimal Pregeometry Class is uncountably categorical. The approach we will take is the one developed by Levon Haykazyan in his paper: “Categoricity in Quasiminimal Pregeometry Classes”. The difference between his proof and the ones previously developed is that his proof focuses in $\sigma-$embedings instead of closed embeddings. Due to that, his construction can be carried out without using excellence of the class. Which has always been the most technical and hardest to prove when trying to apply the result to specific classes of structures, like ZIlber’s pseudo exponentiation in the context of Schanuel’s conjecture .

**Date:**Monday, April 25, 2016

**Time: **5:00 – 6:30 PM

**Location: **Wean 7201