An interpolation theorem for irredundant bases of closure structures

DOI10.1016/0012-365X(75)90033-3MaRDI QIDQ1222667zbMATH OpenWikidataFDO

Authors Alfred Tarski

Publication date 1975

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0012-365X(75)90033-3

Mathematics Subject Classification ID

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

Cited in

(10)

• Combinatory interpolation theorems
• Possible cardinalities of irredundant bases for finite closure structures
• Key notions of Tarski's methodology of deductive systems
• Minimal invariable generating sets
• Bases for modules.
• On the replacement property for PSL(2, p )
• A characterization of the \(n\)-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
• Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
• On the cardinality of irredundant and minimal bases of finite permutation groups
• A portrait of Alfred Tarski

This page was built for publication: An interpolation theorem for irredundant bases of closure structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1222667)