Between Galois connections and (some metamathematical) solutions of equations \(fgf=f\) and \(gfg=g\)

DOI10.1016/J.APAL.2003.11.017zbMath1054.03009OpenAlexW1973264993MaRDI QIDQ598314

Stan J. Surma

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.017

zbMATH Keywords

consistencyGalois connectionclosure operatormetamathematicsantitone connectionisotone connection

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Cites Work

• Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Between Galois connections and (some metamathematical) solutions of equations \(fgf=f\) and \(gfg=g\)