Towards formal Baer criteria

DOI10.5802/CML.82MaRDI QIDQ2099403zbMATH OpenOpenAlexFDO

Authors Daniel Misselbeck-Wessel, Davide Rinaldi

Publication date 23 November 2022

Published in Confluentes Mathematici (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.5802/cml.82

zbMATH Keywords

Baer's criterionconstructive algebrainductive definitioninjective modulepoint-free topology

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Cut-elimination and normal-form theorems (03F05) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Logical aspects of lattices and related structures (03G10) Frames, locales (06D22) Injective and flat modules and ideals in commutative rings (13C11)

Recommendations

• On Baer type criterion for C-dense, C-closed and quasi injectivity
• Baer criterion for injectivity of projection algebras
• On semirings satisfying the Baer criterion.
• On the Baer Criterion for Acts Over Semigroups
• Almost injective modules lack a ``Baer-like criterion.

Cites work

• A globalization of the Hahn-Banach theorem
• A logical approach to abstract algebra
• Are there enough injective sets?
• Aspects of general topology in constructive set theory
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Cut elimination for entailment relations
• Cut Elimination in the Presence of Axioms
• Dynamical method in algebra: Effective Nullstellensätze
• Extension by conservation. Sikorski's theorem
• Finite methods in mathematical practice
• Geometric Hahn-Banach theorem
• scientific article; zbMATH DE number 1670483 (Why is no real title available?)
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 3297125 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3387482 (Why is no real title available?)
• Inductively generated formal topologies.
• Injectivity, Projectivity, and the Axiom of Choice
• Krull Implies Zorn
• On some peculiar aspects of the constructive theory of point-free spaces
• On Tarski’s fixed point theorem
• On the existence of Stone-Čech compactification
• Projective and injective distributive lattices
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Some points in formal topology.
• Syntax for semantics: Krull's maximal ideal theorem
• The Hahn-Banach theorem by disjunction elimination
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories

Cited in

(4)

• Some remarks on a theorem of Bergman
• On Baer type criterion for C-dense, C-closed and quasi injectivity
• A general extension theorem for directed-complete partial orders
• Baer criterion for injectivity in abelian categories

This page was built for publication: Towards formal Baer criteria

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