Login / Signup

A cumulative hierarchy of sets for constructive set theory.

Albert Ziegler
Published in: Math. Log. Q. (2014)
Keyphrases