# The Seed Order

## TL;DR

This paper introduces the seed order, a new partial order on ultrafilters that extends the Mitchell order, and explores its properties under the assumption of linearity, leading to significant structural insights.

## Contribution

It defines the seed order, generalizes the Mitchell order, and develops its theory assuming linearity, connecting it to large cardinal hypotheses like supercompactness.

## Key findings

- Seed order generalizes Mitchell order on ultrafilters.
- Linearity of seed order holds in canonical inner models.
- Under the Ultrapower Axiom, seed order reveals strong structural properties.

## Abstract

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even under strong large cardinal assumptions. In fact, the linearity of the seed order is a feature of all known canonical inner models for large cardinal axioms. We develop the theory of the seed order under the assumption that it is linear. Augmented by large cardinal hypotheses currently out of reach of inner model theory (namely supercompactness), this linearity assumption, which we call the Ultrapower Axiom, has surprisingly strong consequences reminiscent of the structure theory of the canonical inner models.