scientific article; zbMATH DE number 3550698
From MaRDI portal
Publication:4124833
zbMath0354.02038MaRDI QIDQ4124833
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Cylindric and polyadic algebras; relation algebras (03G15) Axiom of choice and related propositions (03E25) Other classical first-order model theory (03C68)
Related Items (25)
A universal Krull-Lindenbaum theorem ⋮ Dimension of Boolean valued lattices and rings ⋮ Spectral schemes as ringed lattices ⋮ Constructive canonicity in non-classical logics ⋮ Unnamed Item ⋮ A constructive version of Laplace's proof on the existence of complex roots ⋮ Tensor topology ⋮ Polynomials and radical ideals ⋮ Unnamed Item ⋮ A universal algorithm for Krull's theorem ⋮ The basic Zariski topology ⋮ Valuative Lattices and Spectra ⋮ Valuative dimension, constructive points of view ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ Spectra as universal objects in categories of supports ⋮ A constructive notion of codimension ⋮ On a theorem of Kronecker about algebraic varieties ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ The Zariski spectrum as a formal geometry ⋮ A topological nullstellensatz for tensor-triangulated categories ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ Space of valuations ⋮ Hochster duality in derived categories and point-free reconstruction of schemes ⋮ Formal Zariski topology: Positivity and points ⋮ Unnamed Item
This page was built for publication:
