Duality Between Logics and Equivalence Relations (Q3960670): Difference between revisions

@@ label / en / label / en @@
+Duality Between Logics and Equivalence Relations
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1999763
@@ Property / full work available at URL: https://doi.org/10.2307/1999763 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4251483774
@@ Property / OpenAlex ID: W4251483774 / rank @@
+Normal rank
@@ Property / title @@
+Duality Between Logics and Equivalence Relations (English)
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
+Normal rank
@@ Property / cites work @@
+δ-Logics and generalized quantifiers
@@ Property / cites work: δ-Logics and generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
+Normal rank
@@ Property / cites work @@
+Robinson's Consistency Theorem in Soft Model Theory
+Normal rank
@@ Property / cites work @@
+Applications of Many‐Sorted Robinson Consistency Theorem
+Normal rank
@@ Property / cites work @@
+Compactness, interpolation and Friedman's third problem
+Normal rank
@@ Property / cites work @@
+Embeddings, amalgamation and elementary equivalence: the representation of compact logics
+Normal rank
@@ Property / cites work @@
+An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
+Normal rank