Studies on the axiom of comprehension

DOI10.1305/ndjfl/1093957573zbMath0133.25805OpenAlexW2009849676WikidataQ114598188 ScholiaQ114598188MaRDI QIDQ2395758

Th. Skolem

Publication date: 1963

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957573

zbMATH Keywords

set theory

Related Items

Paths to triviality, One step is enough, Logical consequence and the paradoxes, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Variations on a theme of Curry, A positive set theory with equality revisited, On a positive set theory with inequality, Toward useful type-free theories. I