-isomorphic algebraic structures
Ivan Chajda, Petr Emanovský (1995)
Mathematica Bohemica
Similarity:
For an algebraic structure or type and a set of open formulas of the first order language we introduce the concept of -closed subsets of . The set of all -closed subsets forms a complete lattice. Algebraic structures , of type are called -isomorphic if . Examples of such -closed subsets are e.g. subalgebras of an algebra, ideals of a ring, ideals of a lattice, convex subsets of an ordered or quasiordered set etc. We study -isomorphic algebraic structures in dependence...