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.03039MaRDI 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 lattices; constructive mathematics; Krull dimension; spectral spaces; constructive proofs; Hilbert's program; geometric theories; classical abstract objects; dynamical algebraic structures; pointfree topological spaces

Mathematics Subject Classification ID

03G25: Other algebras related to logic

03F65: Other constructive mathematics

Related Items

A formal proof of the projective Eisenbud-Evans-Storch theorem, Spectral schemes as ringed lattices

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
• 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
• Unnamed Item