Pages that link to "Item:Q772219"
From MaRDI portal
The following pages link to Properties preserved under homomorphism (Q772219):
Displaying 40 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)
- A unifying approach to theorems on preservation and interpolation for binary relations between structures (Q3939786) (← links)
- Fragments of first order logic, I: universal Horn logic (Q4159026) (← links)
- RETRACTIONS OF REVERSIBLE STRUCTURES (Q4600461) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- (Q4638077) (← links)
- Projective model completeness (Q4774039) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- Some applications of infinitely long formulas (Q5540459) (← links)
- (Q5544276) (← links)
- (Q5572328) (← links)
- On the Craig-Lyndon interpolation theorem (Q5573360) (← links)
- Reduced Products and Horn Classes (Q5596751) (← links)
- Modelltheoretische Untersuchungen in der Kripke-Semantik (Q5619087) (← links)
- On the model theory of denumerably long formulas with finite strings of quantifiers (Q5643984) (← links)
- Homorphie-invariante Formeln in der intuitionistischen Logik (Q5663837) (← links)
- Some Undecidable Problems in Group Theory (Q5675710) (← links)
- A logical look at characterizations of geometric transformations under mild hypotheses (Q5935915) (← 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)
