Search Results for: Slicing The Truth On The Computable And Reverse Mathematics Of Combinatorial Principles

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

We study the logical strength of various weak combinatorial principles, using the tools of reverse mathematics, computability theory, and effective measure theo

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

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