A linear conservative extension of Zermelo-Fraenkel set theory.

Miyuki Shirahata
Published in: Stud Logica (1996)
Keyphrases