A cumulative hierarchy of sets for constructive set theory
Ziegler, AlbertVolume:
60
Language:
english
Journal:
Mathematical Logic Quarterly
DOI:
10.1002/malq.201200100
Date:
February, 2014
File:
PDF, 222 KB
english, 2014