Skip to content

Set Theory And Large Cardinals

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Set Theory And Large Cardinals.

  • Supercompact cardinal — A large cardinal kappa for which, at every target scale lambda, there is an elementary embedding with critical point kappa into an inner model closed under lambda-length sequences.