First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176): Difference between revisions

@@ Property / author @@
+Mikhaĭl G. Peretyat'kin
@@ Property / author: Mikhaĭl G. Peretyat'kin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625151
@@ Property / cites work: Q5625151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081239
@@ Property / cites work: Q4081239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+The Boolean algebra of logic
@@ Property / cites work: The Boolean algebra of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5341751
@@ Property / cites work: Q5341751 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of interpretability types of theories
@@ Property / cites work: A lattice of interpretability types of theories / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of chapters of mathematics (interpretations between theorems [theories])
+Normal rank
@@ Property / cites work @@
+Q4362729
@@ Property / cites work: Q4362729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481683
@@ Property / cites work: Q3481683 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantically universal classes of models
@@ Property / cites work: Semantically universal classes of models / rank @@
+Normal rank
@@ Property / cites work @@
+Analogues of Rice's theorem for semantic classes of propositions
+Normal rank
@@ Property / cites work @@
+Q4895324
@@ Property / cites work: Q4895324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700614
@@ Property / cites work: Q4700614 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties Preserved under Definitional Equivalence and Interpretations
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152213
@@ Property / cites work: Q4152213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank