A construction for consistent systems
Tom 37 / 1950
Fundamenta Mathematicae 37 (1950), 87-110
DOI: 10.4064/fm-37-1-87-110