Shelah's categoricity conjecture

Shelah's categoricity conjecture
Name	Shelah's categoricity conjecture
Field	Mathematical logic
Introduced	1970s
Proposer	Saharon Shelah
Status	Open (partial results, counterexamples in variants)
Related	Model theory, Abstract elementary classes, Stability theory

Shelah's categoricity conjecture is a central open problem in modern Model theory proposed by Saharon Shelah asserting that for suitable classes of structures a single large-cardinality categoricity instance forces categoricity on all larger cardinals. The conjecture has driven developments linking Alfred Tarski-style classification, James E. Baumgartner's set-theoretic techniques, and deep combinatorial principles from Paul Erdős-inspired partition calculus. Its study touches work by many figures including Saharon Shelah, Michael Morley, Wilfrid Hodges, John T. Baldwin, and Rami Grossberg.

Statement of the conjecture

In model-theoretic formulations, the conjecture predicts that an abstract elementary class with appropriate structural hypotheses that is categorical in some sufficiently high cardinal is categorical in all larger cardinals. Statements invoke frameworks developed by Saharon Shelah and refined by John T. Baldwin, Rami Grossberg, and Bradd Hart, connecting to notions introduced by Michael Morley in his categoricity theorem for first-order logic, as well as to definability themes in Alfred Tarski's work. Variants reference cardinal arithmetic conditions studied by Kurt Gödel and Paul Cohen, combinatorial set theory from Kenneth Kunen, and stability hierarchies inspired by Laszlo Lovasz-style graph combinatorics. Related formalizations use concepts introduced by Maryanthe Malliaris and Saharon Shelah's stability spectrum analysis.

Historical context and motivation

The conjecture grew from Michael Morley's 1965 theorem proving categoricity in one uncountable cardinal implies categoricity in all uncountable cardinals for countable first-order theories, and from Saharon Shelah's extension of model theory beyond first-order logic toward infinitary logic and abstract elementary classes. Influences include Alfred Tarski's treatment of definability, Kurt Gödel's work on constructible universe, and Paul Cohen's independence results using forcing developed by John von Neumann's set-theoretic foundations. The drive for generalization engaged researchers such as Wilfrid Hodges, John T. Baldwin, Rami Grossberg, Bradd Hart, Alexei Kolesnikov, and Itay Kaplan who sought axioms analogous to compactness or tameness. Set-theoretic tools from Kenneth Kunen, Menachem Magidor, Matthew Foreman, and large cardinal hypotheses from Solomon Feferman-adjacent research also shaped approaches.

Known cases and partial results

Key proven instances include Michael Morley's classical theorem for first-order logic and many extensions within tame abstract elementary classes established by Rami Grossberg and Bradd Hart. Results by Saharon Shelah himself give upward categoricity transfer under versioned hypotheses, while work of John T. Baldwin and Alexei Kolesnikov produced structural decompositions in specific cardinalities. Contributions by Will Boney and Sebastien Vasey exploited tameness and locality inspired by Maryanthe Malliaris and Saharon Shelah to obtain categoricity transfers under large-cardinal-like assumptions studied by Kenneth Kunen and Menachem Magidor. Other partial advances derive from stability-theoretic frameworks developed by Frank Wagner, Harvey Friedman, Dana Scott, and Heinz-Dieter Ebbinghaus.

Techniques and methods in proofs

Approaches blend stability theory pioneered by Michael Morley and Saharon Shelah with structural decomposition methods akin to work by Wilfrid Hodges and John T. Baldwin. Methods use combinatorial set theory from Paul Erdős, partition calculus techniques reminiscent of Erdos–Rado work, and forcing techniques from Paul Cohen and Kenneth Kunen to produce independence or consistency results. Tameness and locality conditions developed by Rami Grossberg, Will Boney, and Sebastien Vasey rely on category-theoretic sensibilities that echo themes in Saunders Mac Lane's work. Shelah's own proofs introduce intricate amalgamation and uniqueness schemes paralleling model decomposition strategies used by Saharon Shelah and Bradd Hart, while contemporary work employs classification results informed by Maryanthe Malliaris's connections between model theory and combinatorics stemming from Paul Erdős-style problems.

Counterexamples and independence results

Variants of the conjecture without tameness or amalgamation hypotheses admit counterexamples constructed using set-theoretic methods of Paul Cohen and combinatorial principles from Paul Erdős, with independence phenomena tied to large cardinal axioms studied by William A. Jackson-adjacent literature and Menachem Magidor. Shelah produced countermodels and conditional consistency results that reference techniques by Kenneth Kunen and Solomon Feferman in set theory, while contemporary negative examples exploit failure of compactness in infinitary logic and pathological behaviour found in classes studied by Rami Grossberg and John T. Baldwin.

Impact and connections to other areas

The conjecture stimulated cross-pollination between Model theory and areas such as Set theory, combinatorics associated with Paul Erdős, and algebraic geometry influenced by Alexander Grothendieck-era structural thinking. It shaped research trajectories for scholars like Saharon Shelah, Rami Grossberg, John T. Baldwin, Bradd Hart, Will Boney, Sebastien Vasey, and Maryanthe Malliaris, and influenced interplays with descriptive set theory advanced by Donald A. Martin and computational aspects related to work by Alan Turing. Connections reach into categorical algebra traditions related to Saunders Mac Lane and to foundational questions echoing Kurt Gödel and Paul Cohen.

Category:Model theory