Beth's property fails in L<ω

DOI10.2307/2273188zbMath0439.03013OpenAlexW1991227677MaRDI QIDQ3880816

Lee Badger

Publication date: 1980

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

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

zbMATH Keywords

Beth's property

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Cites Work

• An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
• Beth's theorem in cardinality logics
• Compact extensions of L(Q) (part 1a)
• Infinitary analogs of theorems from first order model theory

This page was built for publication: Beth's property fails in L^<ω