A generalized cut characterization of the fullness axiom in CZF

Author: Crosilla Laura   Palmgren Erik   Schuster Peter  

Publisher: Oxford University Press

ISSN: 1368-9894

Source: Logic Journal of the IGPL, Vol.21, Iss.1, 2013-02, pp. : 63-76

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract