Towards formal Baer criteria

DOI10.5802/cml.82zbMath1499.03059OpenAlexW4309780417MaRDI QIDQ2099403

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

zbMATH Keywords

point-free topologyinjective moduleconstructive algebrainductive definitionBaer's criterion

Mathematics Subject Classification ID

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

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
• A globalization of the Hahn-Banach theorem
• Inductively generated formal topologies.
• Some points in formal topology.
• The Hahn-Banach theorem by disjunction elimination
• Cut elimination for entailment relations
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Are there enough injective sets?
• Projective and injective distributive lattices
• Aspects of general topology in constructive set theory
• On Tarski’s fixed point theorem
• On the existence of Stone-Čech compactification
• Geometric Hahn-Banach theorem
• A logical approach to abstract algebra
• Finite Methods in Mathematical Practice
• On some peculiar aspects of the constructive theory of point-free spaces
• Injectivity, Projectivity, and the Axiom of Choice
• Krull Implies Zorn
• Cut Elimination in the Presence of Axioms
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Towards formal Baer criteria