Properties preserved under homomorphism

Cited In (43)

Infinite coforcing in model theory
The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
Action of endomorphism semigroups on definable sets
On the implication of properties of related systems: a method for obtaining implication conditions and application examples
Axiomatizable classes with strong homomorphisms
Some Undecidable Problems in Group Theory
Foundations of applied mathematics. I
A homomorphic image of a semimodular lattice need not be semimodular: An answer to a problem of Birkhoff
Small and countable inclusive varieties of semigroups
Theory of models with generalized atomic formulas
Homorphie-invariante Formeln in der intuitionistischen Logik
Properties preserved under algebraic constructions
Title not available (Why is that?)
Title not available (Why is that?)
Model-theoretic and algorithmic questions in group theory
On the axiomatics of projective and affine geometry in terms of line intersection
Harmonious logic: Craig's interpolation theorem and its descendants
Positive First-order Logic on Words and Graphs
Algebras defined by equations
First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
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
From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
ECWA made easy
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
Title not available (Why is that?)
Modelltheoretische Untersuchungen in der Kripke-Semantik
Some applications of infinitely long formulas
Operations on elementary classes of groups
On the model theory of denumerably long formulas with finite strings of quantifiers
\(\Sigma\)-free models
A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
On the Craig-Lyndon interpolation theorem
Reduced Products and Horn Classes
On positive and critical theories of some classes of rings
Retractions of reversible structures
Arboreal categories and equi-resource homomorphism preservation theorems

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)