Fork me on GitHub
Math for the people, by the people.

User login

von Neumann-Bernays-G\"odel set theory

Defines: 
NBG, von Neumann-Bernays-G\"odel set theory
Keywords: 
NBG, VNBG, vNBG
Synonym: 
NBG, vNBG, vNBG, VNB
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03E30 no label found

Comments

Igor mentions in his notational corrections suggestion that there are a number of things mentioned in this entry that merit entries of their own. I'd like to hear suggestions as to what these should be.

The following mentioned I think should have entries of their own

- conservative extension
- principle of limitation of size
- Gödel (or, actually, von Neumann) class construction functions
- the theorem that these are equivalent to the predicative
comprehension scheme
- predicative vs. impredicative
- Morse-Kelley set theory
- class forcing

I'll see if these are not covered elsewhere in the encyclopaedia, and if not start writing them.

Subscribe to Comments for "von Neumann-Bernays-G\"odel set theory"