The theorems of Beth and craig in abstract model theory, III: Δ-logics and infinitary logics

S. Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

We give a general technique on how to produce counterexamples to Beth's definability (and weak definability) theorem. The method is then applied for various infinitary, cardinality quantifier logics and Δ-closure of such logics.

Original languageEnglish
Pages (from-to)193-213
Number of pages21
JournalIsrael Journal of Mathematics
Volume69
Issue number2
DOIs
StatePublished - Jun 1990

Fingerprint

Dive into the research topics of 'The theorems of Beth and craig in abstract model theory, III: Δ-logics and infinitary logics'. Together they form a unique fingerprint.

Cite this