Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
From MaRDI portal
Publication:3247215
DOI10.1002/malq.19570032102zbMath0080.03701MaRDI QIDQ3247215
Publication date: 1957
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19570032102
Related Items
Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen, Mengentheoretische Eigenschaften unscharfer Begriffe