On co-Filters in Semigroups with Apartness

DOI10.46793/KgJMat2104.607RzbMath1499.03060OpenAlexW3194743931MaRDI QIDQ5035223

Daniel Abraham Romano

Publication date: 21 February 2022

Published in: Kragujevac Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: http://elib.mi.sanu.ac.rs/files/journals/kjm/66/8_eng.html

zbMATH Keywords

semigroup with apartnessBishop's constructive mathematicsco-filtersco-order and co-quasiorder relations

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Other constructive mathematics (03F65)

Cites Work

• Basic notions of (constructive) semigroups with apartness
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• On the distributivity of the lattice of filters of a groupoid
• Filters in (Quasiordered) Semigroups and Lattices of Filters
• Apartness and Uniformity
• An isomorphism theorem for anti-ordered sets
• On filters of ordered semigroups
• Filters of lattices with respect to a congruence
• Semigroups with apartness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On co-Filters in Semigroups with Apartness