- Fields of mathematics
- >
- Mathematical logic
- >
- Set theory
- >
- Measures (set theory)

- Mathematical analysis
- >
- Fields of mathematical analysis
- >
- Measure theory
- >
- Measures (set theory)

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Set theory
- >
- Measures (set theory)

Mitchell order

In mathematical set theory, the Mitchell order is a well-founded preorder on the set of normal measures on a measurable cardinal κ. It is named for . We say that M ◅ N (this is a strict order) if M is

Measurable cardinal

In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal κ, or more generally on any set. For

Normal measure

In set theory, a normal measure is a measure on a measurable cardinal κ such that the equivalence class of the identity function on κ maps to κ itself in the ultrapower construction. Equivalently, if

© 2023 Useful Links.