aYork University, Department of Mathematics and Statistics, 4700 Keele Street, M3J 1P3 North York, ON, Canada;bP.O. Box 118105, Department of Mathematics, University of Florida, FL 32611, United States
Abstract:
We isolate several large classes of definable proper forcings and show how they include many partial orderings used in practice.