Zum \(L(Q)\)-Interpolationsproblem

DOI10.1007/BF01183050zbMath0288.02012OpenAlexW371078484MaRDI QIDQ1846413

Heinz-Dieter Ebbinghaus

Publication date: 1975

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/172202

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Related Items (1)

The theorems of beth and Craig in abstract model theory II. Compact logics

Cites Work

• Lectures in set theory with particular emphasis on the method of forcing
• Beth's theorem in cardinality logics
• δ-Logics and generalized quantifiers
• Unnamed Item
• Unnamed Item

This page was built for publication: Zum \(L(Q)\)-Interpolationsproblem