European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
From MaRDI portal
Publication:3864483
DOI10.2307/2273215zbMath0428.03002MaRDI QIDQ3864483
No author found.
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273215
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Cites Work
- Unnamed Item
- Unnamed Item
- Transitivity of permutation groups on unordered sets
- Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
- Application d'une propriété combinatoire des parties d'un ensemble aux groupes et aux rélations
- On expandability of models of Peano arithmetic. II
- On the consistency of Borel's conjecture
- Iterated Cohen extensions and Souslin's problem
- Perfect subsets of definable sets of real numbers
- Free products and elementary equivalence
- The lattice-ordered group of automorphisms of an ordered set
- The theory of all substructures of a structure: Characterisation and decision problems
- 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
- Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain)
- Foundations of Mathematics
- An Abstract form of the church-rosser theorem. I
- Vom Unendlichen zum Endlichen
