European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 (Q3864483): 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/2273215
@@ Property / full work available at URL: https://doi.org/10.2307/2273215 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2002581326
@@ Property / OpenAlex ID: W2002581326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+An Abstract form of the church-rosser theorem. I
@@ Property / cites work: An Abstract form of the church-rosser theorem. I / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of all substructures of a structure: Characterisation and decision problems
+Normal rank
@@ Property / cites work @@
+Vom Unendlichen zum Endlichen
@@ Property / cites work: Vom Unendlichen zum Endlichen / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Mathematics
@@ Property / cites work: Foundations of Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated Cohen extensions and Souslin's problem
@@ Property / cites work: Iterated Cohen extensions and Souslin's problem / rank @@
+Normal rank
@@ Property / cites work @@
+Free products and elementary equivalence
@@ Property / cites work: Free products and elementary equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Borel's conjecture
@@ Property / cites work: On the consistency of Borel's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+On expandability of models of Peano arithmetic. II
+Normal rank
@@ Property / cites work @@
+Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
+Normal rank
@@ Property / cites work @@
+Perfect subsets of definable sets of real numbers
@@ Property / cites work: Perfect subsets of definable sets of real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice-ordered group of automorphisms of an ordered set
+Normal rank
@@ Property / cites work @@
+Application d'une propriété combinatoire des parties d'un ensemble aux groupes et aux rélations
+Normal rank
@@ Property / cites work @@
+Transitivity of permutation groups on unordered sets
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain)
+Normal rank
@@ Property / cites work @@
+The Notion of Logical Consequence in the Logic of Inexact Predicates
+Normal rank