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

S. Shelah

doi:10.1007/BF02937304

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

S. Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	193-213
Number of pages	21
Journal	Israel Journal of Mathematics
Volume	69
Issue number	2
DOIs	https://doi.org/10.1007/BF02937304
State	Published - Jun 1990

Access to Document

10.1007/BF02937304

Cite this

@article{adb8777669194f158905e831610c828d,

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

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.",

author = "S. Shelah",

year = "1990",

month = jun,

doi = "10.1007/BF02937304",

language = "אנגלית",

volume = "69",

pages = "193--213",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - The theorems of Beth and craig in abstract model theory, III

T2 - Δ-logics and infinitary logics

AU - Shelah, S.

PY - 1990/6

Y1 - 1990/6

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/21244436683

U2 - 10.1007/BF02937304

DO - 10.1007/BF02937304

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:21244436683

SN - 0021-2172

VL - 69

SP - 193

EP - 213

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 2

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this