Pages that link to "Item:Q772219"
From MaRDI portal
The following pages link to Properties preserved under homomorphism (Q772219):
Displaying 25 items.
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Automation methods for logical derivation and their application in the control of dynamic and intelligent systems (Q742012) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Axiomatizable classes with strong homomorphisms (Q1100195) (← links)
- \(\Sigma\)-free models (Q1215650) (← links)
- A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products (Q1219880) (← links)
- Infinite coforcing in model theory (Q1220510) (← links)
- Operations on elementary classes of groups (Q1226589) (← links)
- A homomorphic image of a semimodular lattice need not be semimodular: An answer to a problem of Birkhoff (Q1257493) (← links)
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- On positive and critical theories of some classes of rings (Q1587004) (← links)
- On the axiomatics of projective and affine geometry in terms of line intersection (Q1885227) (← links)
- ECWA made easy (Q1924727) (← links)
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples (Q1995338) (← links)
- Algebras defined by equations (Q2174535) (← links)
- Properties preserved under algebraic constructions (Q3257768) (← links)
- Theory of models with generalized atomic formulas (Q3293397) (← links)
- RETRACTIONS OF REVERSIBLE STRUCTURES (Q4600461) (← links)
- (Q4638077) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
