Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
From MaRDI portal
Publication:2575772
Recommendations
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)