An interpolation theorem for irredundant bases of closure structures
From MaRDI portal
Publication:1222667
DOI10.1016/0012-365X(75)90033-3zbMath0319.06002WikidataQ127190282 ScholiaQ127190282MaRDI QIDQ1222667
No author found.
Publication date: 1975
Published in: Discrete Mathematics (Search for Journal in Brave)
Structure theory of algebraic structures (08A05) General logic (03B99) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Algebraic structures (08Axx)
Related Items (9)
Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green ⋮ On the replacement property for PSL(2, p ) ⋮ Combinatory interpolation theorems ⋮ Possible cardinalities of irredundant bases for finite closure structures ⋮ A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Minimal invariable generating sets ⋮ Bases for modules. ⋮ A portrait of Alfred Tarski
Cites Work
This page was built for publication: An interpolation theorem for irredundant bases of closure structures
