CONDITIONS OF S<sup>L</sup><sub>G</sub>→S<sup>L</sup><sub>G</sub>/i<sup>L</sup>TO FORM A LATTICE HOMOMORPfflSM (Q4489094)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1472012
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | CONDITIONS OF S<sup>L</sup><sub>G</sub>→S<sup>L</sup><sub>G</sub>/i<sup>L</sup>TO FORM A LATTICE HOMOMORPfflSM |
scientific article; zbMATH DE number 1472012 |
Statements
CONDITIONS OF S<sup>L</sup><sub>G</sub>→S<sup>L</sup><sub>G</sub>/i<sup>L</sup>TO FORM A LATTICE HOMOMORPfflSM (English)
0 references
20 September 2000
0 references
system reconstructibility
0 references
\(G\)-structures
0 references
permutation equivalence relation
0 references
permutation refinement
0 references
logical relations
0 references
bounded lattice
0 references
lattice homomorphism
0 references
0.7572007179260254
0 references
0.7046685814857483
0 references
0.6722544431686401
0 references
0.6706109642982483
0 references
The author presents some combinatorial considerations in \(G\)-structures. He defines a permutation equivalence relation, permutation refinement and aggregate of system structures with logical relations. The main results are: 1. Sufficient conditions for a set of permutation equivalence structure classes of a \(G\) structure with logical relations to form a bounded lattice with respect to a permutation refinement. 2. Conditions for a mapping between a \(G\) structure with logical relations and the corresponding set of permutation equivalence structure classes to form a lattice homomorphism.
0 references
