Towards formal Baer criteria

DOI10.5802/CML.82zbMATH Open1499.03059OpenAlexW4309780417MaRDI QIDQ2099403FDOQ2099403

Authors: Daniel Misselbeck-Wessel, Davide Rinaldi 

Publication date: 23 November 2022

Published in: Confluentes Mathematici (Search for Journal in Brave)

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

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.

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)

Cites Work

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

Cited In (3)

• 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

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)