Undefinability of κ-well-orderings in L∞κ

DOI10.2307/2275584zbMath0894.03014OpenAlexW1522063160MaRDI QIDQ4372918

No author found.

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

boundednesstreeslinear orderingsHenkin constructionchain modelsundefinabilityVaught sentences\(\kappa\)-well-orderingsdownward Löwenheim-Skolem theoremsHintikka games

Mathematics Subject Classification ID

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

Related Items (3)

Almost free groups and long Ehrenfeucht-Fraïssé games ⋮ The Craig interpolation theorem in abstract model theory ⋮ Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals

Cites Work

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

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