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.023zbMATH Open1077.03039OpenAlexW1998737462MaRDI QIDQ2575772FDOQ2575772

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological representations of distributive lattices and Brouwerian logics
• A course in constructive algebra
• Valuations and Dedekind's Prague theorem
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Hidden constructions in abstract algebra. I: Integral dependance.
• Inductively generated formal topologies.
• Constructions in Algebra
• The point of pointless topology
• Krull dimension, Nullstellensätze and dynamical evaluation
• 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
• Approximating rings of integers in number fields
• Dynamical method in algebra: Effective Nullstellensätze
• Completeness results for intuitionistic and modal logic in a categorical setting
• EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
• Constructive rereading of Artin-Schreier theory

Cited In (14)

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

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)