An extendible cardinal is a type of large cardinal.
If , we say is -extendible if there is an elementary embedding with critical point such that .
We say is extendible if it is -extendible for all .
Created on September 24, 2012 06:17:31
by Mike Shulman