# Keisler's Order is Not Linear, Assuming a Supercompact

## TL;DR

This paper demonstrates that Keisler's order, a classification in model theory, is not a linear order when assuming the existence of a supercompact cardinal, challenging previous conjectures.

## Contribution

It proves that Keisler's order is non-linear under the assumption of a supercompact cardinal, providing new insights into the structure of model-theoretic classifications.

## Key findings

- Keisler's order is not linear under certain set-theoretic assumptions
- The existence of a supercompact cardinal influences the structure of Keisler's order
- The result impacts the understanding of classification theory in model logic

## Abstract

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.