The Power of the Ultrafilter Theorem
From MaRDI portal
Publication:3674642
DOI10.1112/jlms/s2-27.2.193zbMath0523.03037OpenAlexW2007469040WikidataQ56225315 ScholiaQ56225315MaRDI QIDQ3674642
Publication date: 1983
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-27.2.193
commutative Banach algebramaximal idealaxiom of choiceZF set theoryGelfand algebracommutative ring with unitBoolean ultrafilter theoremlocal latticesweak version of Krull's lemma
Related Items
Quantales and their sheaves ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ The prime ideal theorem and representation of \(F\)-rings ⋮ Semiprime ideals in general lattices ⋮ A universal coefficient theorem for Gauss's lemma ⋮ Ideals in ortholattices, Bell inequalities, and simultaneously definite properties ⋮ The basic Zariski topology ⋮ A representative individual from Arrovian aggregation of parametric individual utilities ⋮ \(pm\)-rings and the prime ideal theorem ⋮ First steps towards an equilibrium theory for Lévy financial markets ⋮ A note on certain subrings of ℛ (L) ⋮ The Zariski spectrum as a formal geometry ⋮ On separation lemmas ⋮ On the least multiplicative nucleus of a ring ⋮ Semidistributivity, prime ideals and the subbase lemma ⋮ Ideal completion and Stone representation of ideal-distributive ordered sets ⋮ Strong De Morgan's law and the spectrum of a commutative ring ⋮ Hyperfinite stochastic integration for Lévy processes with finite-variation jump part ⋮ Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem ⋮ Functorial maximal spectra ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ Unnamed Item ⋮ Finiteness conditions and distributive laws for Boolean algebras ⋮ Formal Zariski topology: Positivity and points ⋮ Gödel's contribution to the justification of Leibniz' notion of the infinitesimals ⋮ Spectra of monoidal-lattices ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
