Login / Signup

Stratified and positive comprehension seen as superclass rules over ordinary set theory.

Roland Hinnion
Published in: Math. Log. Q. (1990)
Keyphrases