collaborators

2 papers

math.LO2012

The core model induction beyond : non-tame mouse from PFA

Grigor Sargsyan

We show that PFA implies that there is a non-tame mouse.

math.LO2012

Descriptive inner model theory

Grigor Sargsyan

A paper for general audience about descriptive inner model theory.