sentences:  The Shoenfield absoluteness theorem, due to Joseph Shoenfield (1961), establishes the absoluteness of a large class of formulas between a model of set theory and its constructible universe, with important methodological consequences.The absoluteness of large cardinal axioms is also studied, with positive and negative results known.In model theory, there are several general results and definitions related to absoluteness.