Large Cardinal Set Theory

← Back to Domain-Specific Abstractions by Domain

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

• Normal measure — A kappa-complete nonprincipal ultrafilter on a measurable cardinal that is closed under diagonal intersections, equivalently makes every regressive function constant on a measure-one set.