Merkliste 
 1 Ergebnisse 
 
1

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS:

EMMENEGGER, JACOPO ; PALMGREN, ERIK
The Journal of Symbolic Logic.  85 (2020)  2 - p. 563-584 , 2020