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.023MaRDI QIDQ2575772zbMATH OpenOpenAlexFDO

Authors 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

constructive mathematicsdistributive latticesspectral spacesconstructive proofsKrull dimensionHilbert's programgeometric theoriesclassical abstract objectsdynamical algebraic structurespointfree topological spaces

Mathematics Subject Classification ID

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

Recommendations

• Space of valuations
• New Computational Paradigms
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• A logical approach to abstract algebra
• Finite methods in mathematical practice

Cites work

• scientific article; zbMATH DE number 421671 (Why is no real title available?)
• scientific article; zbMATH DE number 3885968 (Why is no real title available?)
• scientific article; zbMATH DE number 5577541 (Why is no real title available?)
• scientific article; zbMATH DE number 3815780 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 16655 (Why is no real title available?)
• scientific article; zbMATH DE number 177492 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 2020233 (Why is no real title available?)
• scientific article; zbMATH DE number 2182805 (Why is no real title available?)
• scientific article; zbMATH DE number 2084947 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 5255345 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A Short Proof for the Krull Dimension of a Polynomial Ring
• A course in constructive algebra
• 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.)
• Approximating rings of integers in number fields
• Completeness results for intuitionistic and modal logic in a categorical setting
• Constructions in Algebra
• Constructive rereading of Artin-Schreier theory
• Dynamical method in algebra: Effective Nullstellensätze
• EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
• Hidden constructions in abstract algebra. I: Integral dependance.
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Inductively generated formal topologies.
• Krull dimension, Nullstellensätze and dynamical evaluation
• The point of pointless topology
• Topological representations of distributive lattices and Brouwerian logics
• Valuations and Dedekind's Prague theorem

Cited in

(17)

• A universal algorithm for Krull's theorem
• The basic Zariski topology
• New Computational Paradigms
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• The Zariski spectrum as a formal geometry
• Spectral schemes as ringed lattices
• Valuative Lattices and Spectra
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Valuative dimension, constructive points of view
• A Prüfer ring
• Spectral spaces versus distributive lattices: a dictionary
• Radical theory of Scott-open filters
• A constructive notion of codimension
• Cut elimination for entailment relations
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• Geometric theories for the algebra of real numbers

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)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575772)