Defining cardinal addition by ≤-formulas

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Alexander Häussler Fundamenta Mathematicae 115 (1983), 195-205 DOI: 10.4064/fm-115-3-195-205