Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some ho

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homo

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has see

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this resu

The author discusses in which sense general metric measure spaces possess a first order differential structure. Building on this, spaces with Ricci curvature bo