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

interpolation; counterexamples; monotone system; topological groups; ultrafilters; uniform spaces; monotone structure; expansions of monotone structures

Mathematics Subject Classification ID

03C80: Logic with extra quantifiers and operators

03C52: Properties of classes of models

03C40: Interpolation, preservation, definability

Related Items

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