scientific article; zbMATH DE number 3550698

zbMATH Open0354.02038MaRDI QIDQ4124833FDOQ4124833

Authors: André Joyal 

Publication date: 1976

Title of this publication is not available (Why is that?)

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)

• Spectra as universal objects in categories of supports
• Title not available (Why is that?)
• A universal Krull-Lindenbaum theorem
• A universal algorithm for Krull's theorem
• Polynomials and radical ideals
• The basic Zariski topology
• Space of valuations
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Dynamical method in algebra: Effective Nullstellensätze
• Hochster duality in derived categories and point-free reconstruction of schemes
• The Zariski spectrum as a formal geometry
• Spectral schemes as ringed lattices
• Valuative Lattices and Spectra
• On a theorem of Kronecker about algebraic varieties
• Constructive canonicity in non-classical logics
• Valuative dimension, constructive points of view
• The projective spectrum as a distributive lattice
• Formal Zariski topology: Positivity and points
• Title not available (Why is that?)
• A topological nullstellensatz for tensor-triangulated categories
• Tensor topology
• A constructive notion of codimension
• 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
• Dimension of Boolean valued lattices and rings

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)