Properties preserved under homomorphism
From MaRDI portal
Publication:772219
DOI10.2140/pjm.1959.9.143zbMath0093.01101OpenAlexW2063168938MaRDI QIDQ772219
Publication date: 1959
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1959.9.143
Related Items (40)
Bjarni Jónsson's contributions in algebra ⋮ On the axiomatics of projective and affine geometry in terms of line intersection ⋮ On the Craig-Lyndon interpolation theorem ⋮ Axiomatizable classes with strong homomorphisms ⋮ Generating conditions for preserving the properties of controlled discrete event systems ⋮ Modelltheoretische Untersuchungen in der Kripke-Semantik ⋮ Algebras defined by equations ⋮ ECWA made easy ⋮ On the model theory of denumerably long formulas with finite strings of quantifiers ⋮ Arboreal categories and equi-resource homomorphism preservation theorems ⋮ Positive First-order Logic on Words and Graphs ⋮ Foundations of applied mathematics. I ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ Homorphie-invariante Formeln in der intuitionistischen Logik ⋮ Reduced Products and Horn Classes ⋮ Properties preserved under algebraic constructions ⋮ Unnamed Item ⋮ Action of endomorphism semigroups on definable sets ⋮ Theory of models with generalized atomic formulas ⋮ Unnamed Item ⋮ On the implication of properties of related systems: a method for obtaining implication conditions and application examples ⋮ A logical look at characterizations of geometric transformations under mild hypotheses ⋮ Some Undecidable Problems in Group Theory ⋮ \(\Sigma\)-free models ⋮ A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products ⋮ Infinite coforcing in model theory ⋮ Operations on elementary classes of groups ⋮ Fragments of first order logic, I: universal Horn logic ⋮ A homomorphic image of a semimodular lattice need not be semimodular: An answer to a problem of Birkhoff ⋮ Automation methods for logical derivation and their application in the control of dynamic and intelligent systems ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ On positive and critical theories of some classes of rings ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures ⋮ Unnamed Item ⋮ First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Projective model completeness ⋮ Some applications of infinitely long formulas ⋮ Constructing specification morphisms
This page was built for publication: Properties preserved under homomorphism
