An interpolation theorem for irredundant bases of closure structures. (English) Zbl 0319.06002


06A15 Galois correspondences, closure operators (in relation to ordered sets)
08Axx Algebraic structures
08A05 Structure theory of algebraic structures
03B99 General logic
Full Text: DOI


[1] Henkin, L.; Monk, J.D.; Tarski, A., Cylindric algebras, (1971), North-Holland Amsterdam, Part I · Zbl 0214.01302
[2] Tarski, A., Equational logic and equational theories of algebras, (), 275-288 · Zbl 0209.01402
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.