Y
Yasushi Sangu
Researcher at Japan Advanced Institute of Science and Technology
Publications - 1
Citations - 11
Yasushi Sangu is an academic researcher from Japan Advanced Institute of Science and Technology. The author has contributed to research in topics: Morse–Kelley set theory & Axiom of choice. The author has an hindex of 1, co-authored 1 publications receiving 11 citations.
Papers
More filters
Journal ArticleDOI
Generalized geometric theories and set-generated classes
TL;DR: The main result is that the class of models of a generalized geometric theory is set-generated, called the set generation axiom which is derivable in CZF, both from the relativized dependent choice scheme and from a regular extension axiom.