Proper classes via the iterative conception of set

DOI10.2307/2274353zbMath0646.03044OpenAlexW2019503074MaRDI QIDQ3789550

Mark F. Sharlow

Publication date: 1987

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274353

zbMATH Keywords

setsproper classesiterative conceptioninner model of Bernays-Morse class theoryshifting set theoryternary membership

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items

Broadening the iterative conception of set, The intuitionistic alternative set theory