scientific article; zbMATH DE number 3550698

MaRDI QIDQ4124833zbMATHFDO

Authors André Joyal

Publication date 1976

Mathematics Subject Classification ID

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

Cited in

(25)

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

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)