Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
From MaRDI portal
Publication:4049058
DOI10.4064/fm-82-2-153-165zbMath0296.02026OpenAlexW814577864MaRDI QIDQ4049058
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214659
Related Items
Remarks in abstract model theory, Algorithmic uses of the Feferman-Vaught theorem, A Lindström theorem for intuitionistic propositional logic, Logics of Finite Hankel Rank, A Lindström theorem for intuitionistic first-order logic, MAXIMALITY OF LOGIC WITHOUT IDENTITY, A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes, Lindström theorems in graded model theory, Duality Between Logics and Equivalence Relations, The old and the new logic of metascience, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Completeness for systems including real numbers, On the logical structure of some value systems of classical economics: Marx and Sraffa, Quantified modal logic: non-normal worlds and propositional attitudes, Is there any theoretical justification for a nonstatement view of theories?, On the eliminative explanation of social theories, A unifying approach to theorems on preservation and interpolation for binary relations between structures, A logical study of the correspondence relation, Correspondence as an intertheory relation, On conceptual completeness of syntactic-semantical systems, Definability properties and the congruence closure, Interpolation, compactness and JEP in soft model theory
