Set-theoretic absoluteness
ID: set-theoretic-absoluteness
A formula is absolute between transitive classes when it has the same truth value in both structures for parameters from .
New to topics? Read the docs here!
New to topics? Read the docs here!