Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every #92;beta-model of MK#123;#42;#42;#125; can be extended to a minimal such model of MK#123;#42;#42;#125; with the same ordinals.
Source: wiktionary