Worst-case expansions of complete theories (Q6156871): Difference between revisions

@@ Property / cites work @@
+Second-order quantifiers and the complexity of theories
+Normal rank
@@ Property / cites work @@
+Characterizations of monadic NIP
@@ Property / cites work: Characterizations of monadic NIP / rank @@
+Normal rank
@@ Property / cites work @@
+Mutual algebraicity and cellularity
@@ Property / cites work: Mutual algebraicity and cellularity / rank @@
+Normal rank
@@ Property / cites work @@
+Some trivial considerations
@@ Property / cites work: Some trivial considerations / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary diagram of a trivial, weakly minimal structure is near model complete
+Normal rank
@@ Property / cites work @@
+Mutually algebraic structures and expansions by predicates
+Normal rank
@@ Property / cites work @@
+Uniformly bounded arrays and mutually algebraic structures
+Normal rank
@@ Property / cites work @@
+Monadic logic and Löwenheim numbers
@@ Property / cites work: Monadic logic and Löwenheim numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A Guide to NIP Theories
@@ Property / cites work: A Guide to NIP Theories / rank @@
+Normal rank