collaborators
Showing math.LOShow all

2 papers · 1 filter

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.