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 language | English |
---|---|
Pages (from-to) | 193-213 |
Number of pages | 21 |
Journal | Israel Journal of Mathematics |
Volume | 69 |
Issue number | 2 |
DOIs | |
State | Published - Jun 1990 |