Lecture Notes on Baby Boolean Relation Theory
Harvey M. Friedman · SSRN Electronic Journal · 2001
This is an introduction to the most primitive form of the new Boolean relation theory, where we work with only one function and one set. We give eight complete classifications. The thin set theorem (along with a slight variant), and the complementation theorem are the only substantial cases that arise in these classifications.