scientific article; zbMATH DE number 6970792

DOI10.23638/LMCS-14(4:8)2018zbMath1454.03085arXiv1612.07345MaRDI QIDQ4553278

Davide Rinaldi, Daniel Wessel

Publication date: 2 November 2018

Full work available at URL: https://arxiv.org/abs/1612.07345

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributive latticesconstructive mathematicsentailment relations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Structure and representation theory of distributive lattices (06D05) Structure theory of Boolean algebras (06E05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Ordering groups constructively ⋮ Towards formal Baer criteria ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalents of the axiom of choice. 2nd ed
• Minimally generated Boolean algebras
• A globalization of the Hahn-Banach theorem
• Some points in formal topology.
• Krull dimension, Nullstellensätze and dynamical evaluation
• Eliminating disjunctions by disjunction elimination
• Valuations and Dedekind's Prague theorem
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Projective and injective distributive lattices
• On the strength of the Sikorski extension theorem for Boolean algebras
• Geometric Hahn-Banach theorem
• Semantical Completeness Theorems in Logic and Algebra
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras
• On the Metamathematics of Rings and Integral Domains
• Injective and Projective Heyting Algebras
• Dynamical method in algebra: Effective Nullstellensätze