Towards formal Baer criteria
From MaRDI portal
Publication:2099403
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
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)
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)