TL;DRAbstract
Historical motivations. Modern model theory started when M. Morley [Mor65] proved his famous theorem on the categoricity in any uncountable cardinal of first order theories categorical in one uncountable cardinal. He introduced for that purpose an ordinal valued rank on types of such a theory, later shown to be finite by J. Baldwin [Bal73].
Chat with Paper
AI Agents for this Paper
Historical motivations. Modern model theory started when M. Morley [Mor65] proved his famous theorem on the categoricity in any uncountable cardinal of first order theories categorical in one uncountable cardinal. He introduced for that purpose an ordinal valued rank on types of such a theory, later shown to be finite by J. Baldwin [Bal73].
Keywords
Rank (graph theory)Simple (philosophy)MathematicsCombinatoricsPhilosophyEpistemology
Chat
Click to start Chat