Mitchell's embedding theorem
ID: mitchell-s-embedding-theorem
Mitchell's embedding theorem is a result in set theory that pertains to the relationship between certain kinds of models of set theory. Specifically, it deals with the ability to embed a certain class of set-theoretic structures (often related to the constructible universe) into larger structures, while preserving certain properties.
New to topics? Read the docs here!