Interpolation in Logiken monotoner systeme

DOI10.1007/BF02318022zbMath0508.03015MaRDI QIDQ4745811

Martin Ziegler, Heinz-Dieter Ebbinghaus

Publication date: 1982

Published in: Archiv für mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

interpolationcounterexamplesmonotone systemtopological groupsultrafiltersuniform spacesmonotone structureexpansions of monotone structures

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Properties of classes of models (03C52) Interpolation, preservation, definability (03C40)

Related Items (1)

Topological model theory with an interior operator: Consistency properties and back — and forth arguments

Cites Work

• Topological model theory
• Completeness theorems for continuous functions and product topologies
• Graph Theory and Probability
• The Interior Operator Logic and Product Topologies
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• A language for topological structures which satisfies a Lindström-theorem
• Compact extensions of L(Q) (part 1a)
• Some model theory for monotone quantifiers
• Completeness theorems for topological models
• Model theory of topological structures
• Skolem-type normal forms for first-order languages with a generalized quantifier
• Überfür-fast-alle-Quantoren

This page was built for publication: Interpolation in Logiken monotoner systeme