Abstract
We discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higher-order reflection principles.
Citation
Akihiro Kanamori. "Bernays and set theory." Bull. Symbolic Logic 15 (1) 43 - 69, March 2009. https://doi.org/10.2178/bsl/1231081769
Information
Published: March 2009
First available in Project Euclid: 4 January 2009
zbMATH: 1172.03002
MathSciNet: MR1380824
Digital Object Identifier: 10.2178/bsl/1231081769
Rights: Copyright © 2009 Association for Symbolic Logic