The Journal of Symbolic Logic

Summary