Jump to Content

The Largest Countable Inductive Set is a Mouse Set

The Journal of Symbolic Logic, vol. 64 (1999), pp. 443-459

Abstract

Research Areas