European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
From MaRDI portal
Publication:3864483
DOI10.2307/2273215zbMATH Open0428.03002OpenAlexW2002581326MaRDI QIDQ3864483FDOQ3864483
Author name not available (Why is that?)
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
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transitivity of permutation groups on unordered sets
- The lattice-ordered group of automorphisms of an ordered set
- Iterated Cohen extensions and Souslin's problem
- Application d'une propriété combinatoire des parties d'un ensemble aux groupes et aux rélations
- On the consistency of Borel's conjecture
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- Free products and elementary equivalence
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- Perfect subsets of definable sets of real numbers
- 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
- The theory of all substructures of a structure: Characterisation and decision problems
- Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
- On expandability of models of Peano arithmetic. II
- 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)
