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!