A generalized cut characterization of the fullness axiom in CZF (2012)

First Author: Crosilla L
Attributed to:  Constructive set theory: Models, independence results and mathematics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1093/jigpal/jzs022

Publication URI: http://dx.doi.org/10.1093/jigpal/jzs022

Type: Journal Article/Review

Parent Publication: Logic Journal of IGPL

Issue: 1