European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 (Q3902981): Difference between revisions

@@ Property / cites work @@
+Jumping through the transfinite: the master code hierarchy of Turing degrees
+Normal rank
@@ Property / cites work @@
+A formal system of first-order predicate calculus with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+Large infinitary languages. Model theory
@@ Property / cites work: Large infinitary languages. Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+An extended joint consistency theorem for free logic with equality
+Normal rank
@@ Property / cites work @@
+The \(\Omega\)-system and the \(L\)-system of modal logic
+Normal rank
@@ Property / cites work @@
+Failures of the interpolation lemma in quantified modal logic
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+δ-Logics and generalized quantifiers
@@ Property / cites work: δ-Logics and generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+Normal rank
@@ Property / cites work @@
+On certain maximal subgroups of symmetric or alternating groups
+Normal rank
@@ Property / cites work @@
+On the comparison of order types
@@ Property / cites work: On the comparison of order types / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank