Definability and automorphisms in abstract logics (Q1762731): Difference between revisions

@@ Property / cites work @@
+Finite Axiomatizability using additional predicates
+Normal rank
@@ Property / cites work @@
+On models with large automorphism groups
@@ Property / cites work: On models with large automorphism groups / rank @@
+Normal rank
@@ Property / cites work @@
+Models of axiomatic theories admitting automorphisms
+Normal rank
@@ Property / cites work @@
+On the Failure of the Weak Beth Property
@@ Property / cites work: On the Failure of the Weak Beth Property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346292
@@ Property / cites work: Q3346292 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinite quantifier languages
@@ Property / cites work: Model theory for infinite quantifier languages / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary analogs of theorems from first order model theory
+Normal rank
@@ Property / cites work @@
+Q5554949
@@ Property / cites work: Q5554949 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation, compactness and JEP in soft model theory
+Normal rank
@@ Property / cites work @@
+Automorphism properties of stationary logic
@@ Property / cites work: Automorphism properties of stationary logic / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks in abstract model theory
@@ Property / cites work: Remarks in abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
+Normal rank