Title: Studies in Foundations and Combinatorics