European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
From MaRDI portal
Publication:3864483
Cites work
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- An Abstract form of the church-rosser theorem. I
- Application d'une propriété combinatoire des parties d'un ensemble aux groupes et aux rélations
- Foundations of Mathematics
- Free products and elementary equivalence
- Iterated Cohen extensions and Souslin's problem
- On expandability of models of Peano arithmetic. II
- On the consistency of Borel's conjecture
- Perfect subsets of definable sets of real numbers
- Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain)
- Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- The lattice-ordered group of automorphisms of an ordered set
- The theory of all substructures of a structure: Characterisation and decision problems
- Transitivity of permutation groups on unordered sets
- Vom Unendlichen zum Endlichen
This page was built for publication: European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3864483)