Beth definability in infinitary languages

DOI10.2307/2272338MaRDI QIDQ4091897zbMATHOpenAlexFDO

Authors

Publication date 1974

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

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

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cited in

(3)

• Beth's theorem in cardinality logics
• Karp's interpolation theorem for some classes of infinitary languages
• On the Failure of the Weak Beth Property

This page was built for publication: Beth definability in infinitary languages

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