Class Mapping has Minimally Superinductive Class

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $g$ be a (class) mapping.

Then there exists a class $M$ that is minimally superinductive under $g$.


Proof




Sources