Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)

DOI10.1016/j.apal.2005.05.023zbMath1077.03039OpenAlexW1998737462MaRDI QIDQ2575772

Henri Lombardi

Publication date: 6 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.023

zbMATH Keywords

distributive latticesconstructive mathematicsKrull dimensionspectral spacesconstructive proofsHilbert's programgeometric theoriesclassical abstract objectsdynamical algebraic structurespointfree topological spaces

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Other constructive mathematics (03F65)

Related Items (14)

Spectral schemes as ringed lattices ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ The basic Zariski topology ⋮ Eliminating disjunctions by disjunction elimination ⋮ Valuative Lattices and Spectra ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ Théories géométriques pour l’algèbre des nombres réels ⋮ Un anneau de Prüfer ⋮ Cut elimination for entailment relations

Cites Work

• EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
• A course in constructive algebra
• Completeness results for intuitionistic and modal logic in a categorical setting
• Constructive rereading of Artin-Schreier theory
• Inductively generated formal topologies.
• Krull dimension, Nullstellensätze and dynamical evaluation
• Approximating rings of integers in number fields
• Valuations and Dedekind's Prague theorem
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• A Short Proof for the Krull Dimension of a Polynomial Ring
• The point of pointless topology
• Constructions in Algebra
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Topological representations of distributive lattices and Brouwerian logics
• Dynamical method in algebra: Effective Nullstellensätze
• Hidden constructions in abstract algebra. I: Integral dependance.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)