European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978

DOI10.2307/2273215MaRDI QIDQ3864483zbMATH OpenOpenAlexFDO

Authors

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

zbMATH Keywords

Symbolic logicMons

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

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)