Predictive Algebraic Set Theory

Steve Awodey, Carnegie Mellon University
Michael A. Warren, Carnegie Mellon University

CMU-PHIL-155

Abstract or Description

Steve Awodey and Michael A. Warren. Predictive Algebraic Set Theory.