Notions of rank and independence in countably categorical theories - arXiv
arxiv.org
This paper digs into how "rank" and "independence" behave in highly symmetric infinite structures — revealing deep limits on what classical model-theoretic tools can capture.
Stability TheoryModel TheoryFraïssé LimitsCategoricity
Theory Briefing
- Conant proved that Fraïssé limits of finite relational structures with free amalgamation have weak elimination of imaginaries, a key structural result.
- The paper extends notions of rank and independence — cornerstones of stability theory — to the broader setting of countably categorical theories.
- Countably categorical structures, which are uniquely determined by their countable models, sit at a crossroads where combinatorics and logic meet in unexpected ways.