e/Extendible cardinal

Information
has gloss	eng: In mathematics, extendible cardinals are large cardinals introduced by , who was partly motivated by reflection principles. A cardinal number κ is called η-extendible if for some λ there is a nontrivial elementary embedding j of
lexicalization	eng: extendible cardinal
instance of	e/Large cardinal