A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem

DOI10.2989/16073606.2018.1532931OpenAlexW2963835795MaRDI QIDQ5206128

Juan Climent Vidal, Enric Cosme-Llópez

Publication date: 18 December 2019

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.08971

zbMATH Keywords

\(n\)-ary many-sorted closure operator\(S\)-sorted setdelta of Kroneckerirredundant basis with respect to a many-sorted closure operatorsupport of an \(S\)-sorted setuniform many-sorted closure operator

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Cites Work

• Unnamed Item
• An interpolation theorem for irredundant bases of closure structures
• On many-sorted algebraic closure operators
• Representations of Lattices by Sets

This page was built for publication: A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem