Title: Theories for Admissible Sets