scientific article; zbMATH DE number 3550698

MaRDI QIDQ4124833zbMATH OpenFDO

Authors André Joyal

Publication date 1976

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other classical first-order model theory (03C68) Axiom of choice and related propositions (03E25) Cylindric and polyadic algebras; relation algebras (03G15) Applications of logic to commutative algebra (13L05)

Cited in

(27)

• Space of valuations
• Dimension of Boolean valued lattices and rings
• Polynomials and radical ideals
• Constructive canonicity in non-classical logics
• On a theorem of Kronecker about algebraic varieties
• A topological nullstellensatz for tensor-triangulated categories
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• Tensor topology
• Spectral schemes as ringed lattices
• A constructive notion of codimension
• Formal Zariski topology: Positivity and points
• A universal algorithm for Krull's theorem
• A universal Krull-Lindenbaum theorem
• Hochster duality in derived categories and point-free reconstruction of schemes
• scientific article; zbMATH DE number 3871513 (Why is no real title available?)
• A constructive version of Laplace's proof on the existence of complex roots
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Spectra as universal objects in categories of supports
• The categories of lattice-valued maps, equalities, free objects, and \(\mathcal{C}\)-reticulation
• The projective spectrum as a distributive lattice
• Dynamical method in algebra: Effective Nullstellensätze
• Valuative Lattices and Spectra
• Valuative dimension, constructive points of view
• The functor of points approach to schemes in cubical Agda
• Reticulation of an integral complete l-groupoid: an axiomatic approach
• The basic Zariski topology
• The Zariski spectrum as a formal geometry

This page was built for publication:

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