Categoricity of theories in Lκ*, ω, when κ*is a measurable cardinal. Part 2

DOI10.4064/fm170-1-10zbMath0994.03029arXivmath/9604241OpenAlexW2951193284MaRDI QIDQ2773244

Saharon Shelah

Publication date: 21 February 2002

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9604241

zbMATH Keywords

measurable cardinalforkingcategoricityclassification theoryinfinitary logicslimit ultrapowerinfinitary language \(L_{\kappa,\omega}\) with measurable \(\kappa\)Łoś theoremnonisomorphic models

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Other infinitary logic (03C75) Categoricity and completeness of theories (03C35)

Related Items (7)

CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ Forking in short and tame abstract elementary classes ⋮ TAMENESS FROM LARGE CARDINAL AXIOMS ⋮ Categoricity in abstract elementary classes with no maximal models ⋮ Downward categoricity from a successor inside a good frame ⋮ Shelah's categoricity conjecture from a successor for tame abstract elementary classes ⋮ Uniqueness of limit models in classes with amalgamation

This page was built for publication: Categoricity of theories in L_{κ^*, ω}, when κ^*is a measurable cardinal. Part 2