Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

DOI10.3233/FI-2021-2098MaRDI QIDQ5862344

Marian Alexandru Baroni, Melanija Mitrović, Mahouton Norbert Hounkonnou

Publication date: 9 March 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

zbMATH Keywords

semigroup with apartnessset with apartnessco-quasiorderco-congruenceco-equivalence

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic notions of (constructive) semigroups with apartness
• Intuitionism. An introduction
• Classical finite transformation semigroups. An introduction.
• Inequality in constructive mathematics
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• Paths in graphs and minimal \(\pi\)-sequences in semigroups
• The lattice of positive quasi-orders on a semigroup
• A constructive algebraic hierarchy in Coq.
• A rational reconstruction of the domain of feature structures
• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview
• A Constructive Version of the Spectral Mapping Theorem
• Apartness and Uniformity
• Rings and Fields, a Constructive View
• Quasi-orders, Generalized Archimedeaness and Semilattice Decompositions
• Constructive Mathematics in Theory and Programming Practice
• Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
• Continuity Properties of Preference Relations
• Some relations and subsets generated by principal consistent subset of semigroup with apartness
• Semigroups with apartness
• Constructive Aspects of Noetherian Rings

This page was built for publication: Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice