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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273641
@@ Property / full work available at URL: https://doi.org/10.2307/2273641 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1978719260
@@ Property / OpenAlex ID: W1978719260 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3902981