Undefinability of κ-well-orderings in L∞κ

DOI10.2307/2275584MaRDI QIDQ4372918zbMATH OpenOpenAlexFDO

Authors

Publication date 17 December 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275584

zbMATH Keywords

\(\kappa\)-well-orderingsboundednesschain modelsdownward Löwenheim-Skolem theoremsHenkin constructionHintikka gameslinear orderingstreesundefinabilityVaught sentences

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Ordinal and cardinal numbers (03E10)

Recommendations

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• The -closure and cardinal inequalities
• scientific article; zbMATH DE number 3844372
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality
• Ineffable limits of weakly compact cardinals and similar results
• A Remark on Incomparable Ultrafilters in the Rudin-Keisler Order
• Definability and undefinability with real order at the background
• On the slowly well orderedness of \(\varepsilon_0\)

Cites work

• A new approach to infinitary languages
• Large infinitary languages. Model theory
• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)

Cited in

(8)

• The Craig interpolation theorem in abstract model theory
• Almost free groups and long Ehrenfeucht-Fraïssé games
• Takeuti's well-ordering proof: finitistically fine?
• Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals
• \(\Sigma_1\)-wellorders without collapsing
• Chain models, trees of singular cardinality and dynamic EF-games
• A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property
• Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality

This page was built for publication: Undefinability of κ-well-orderings in L_∞κ

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372918)