Interpolation in Logiken monotoner systeme (Q4745811): Difference between revisions

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