HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
Research article (Journal of Symbolic Logic, 2018) · cited 16× · AI/ML