Effective metric model theory (Q5740682): Difference between revisions

@@ Property / cites work @@
+Computability of Fraïssé limits
@@ Property / cites work: Computability of Fraïssé limits / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+On d-finiteness in continuous structures
@@ Property / cites work: On d-finiteness in continuous structures / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic separable metric structures
@@ Property / cites work: Generic separable metric structures / rank @@
+Normal rank