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

point-free topologyinjective moduleconstructive algebrainductive definitionBaer's criterion

Mathematics Subject Classification ID

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

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

• 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?)
• 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 in the Presence of Axioms
• Cut elimination for entailment relations
• Dynamical method in algebra: Effective Nullstellensätze
• Extension by conservation. Sikorski's theorem
• Finite methods in mathematical practice
• Geometric Hahn-Banach theorem
• Inductively generated formal topologies.
• Injectivity, Projectivity, and the Axiom of Choice
• Krull Implies Zorn
• On Tarski’s fixed point theorem
• On some peculiar aspects of the constructive theory of point-free spaces
• 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
• A general extension theorem for directed-complete partial orders
• Baer criterion for injectivity in abelian categories
• On Baer type criterion for \(C\)-dense, \(C\)-closed and quasi injectivity

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)