Cited in
(43)- Retractions of reversible structures
- Infinite coforcing in model theory
- Arboreal categories and equi-resource homomorphism preservation theorems
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples
- Action of endomorphism semigroups on definable sets
- Axiomatizable classes with strong homomorphisms
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- Some Undecidable Problems in Group Theory
- A homomorphic image of a semimodular lattice need not be semimodular: An answer to a problem of Birkhoff
- Foundations of applied mathematics. I
- Small and countable inclusive varieties of semigroups
- Theory of models with generalized atomic formulas
- Properties preserved under algebraic constructions
- Homorphie-invariante Formeln in der intuitionistischen Logik
- scientific article; zbMATH DE number 3290305 (Why is no real title available?)
- Model-theoretic and algorithmic questions in group theory
- scientific article; zbMATH DE number 3259043 (Why is no real title available?)
- On the axiomatics of projective and affine geometry in terms of line intersection
- Harmonious logic: Craig's interpolation theorem and its descendants
- Algebras defined by equations
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
- Positive First-order Logic on Words and Graphs
- Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
- Generating conditions for preserving the properties of controlled discrete event systems
- Fragments of first order logic, I: universal Horn logic
- ECWA made easy
- From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
- Constructing specification morphisms
- Bjarni Jónsson's contributions in algebra
- A unifying approach to theorems on preservation and interpolation for binary relations between structures
- When locality meets preservation
- A logical look at characterizations of geometric transformations under mild hypotheses
- Projective model completeness
- scientific article; zbMATH DE number 6866317 (Why is no real title available?)
- Modelltheoretische Untersuchungen in der Kripke-Semantik
- Some applications of infinitely long formulas
- Operations on elementary classes of groups
- \(\Sigma\)-free models
- A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
- On the model theory of denumerably long formulas with finite strings of quantifiers
- On the Craig-Lyndon interpolation theorem
- On positive and critical theories of some classes of rings
- Reduced Products and Horn Classes
This page was built for publication: Properties preserved under homomorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q772219)
