Currently displaying 1 – 9 of 9

Showing per page

Order by Relevance | Title | Year of publication

A primrose path from Krull to Zorn

Marcel Erné — 1995

Commentationes Mathematicae Universitatis Carolinae

Given a set X of “indeterminates” and a field F , an ideal in the polynomial ring R = F [ X ] is called conservative if it contains with any polynomial all of its monomials. The map S R S yields an isomorphism between the power set P ( X ) and the complete lattice of all conservative prime ideals of R . Moreover, the members of any system S P ( X ) of finite character are in one-to-one correspondence with the conservative prime ideals contained in P S = { R S : S S } , and the maximal members of S correspond to the maximal ideals contained in...

Prime Ideal Theorems and systems of finite character

Marcel Erné — 1997

Commentationes Mathematicae Universitatis Carolinae

We study several choice principles for systems of finite character and prove their equivalence to the Prime Ideal Theorem in ZF set theory without Axiom of Choice, among them the Intersection Lemma (stating that if S is a system of finite character then so is the system of all collections of finite subsets of S meeting a common member of S ), the Finite Cutset Lemma (a finitary version of the Teichm“uller-Tukey Lemma), and various compactness theorems. Several implications between these statements...

𝒵 -distributive function lattices

Marcel Erné — 2013

Mathematica Bohemica

It is known that for a nonempty topological space X and a nonsingleton complete lattice Y endowed with the Scott topology, the partially ordered set [ X , Y ] of all continuous functions from X into Y is a continuous lattice if and only if both Y and the open set lattice 𝒪 X are continuous lattices. This result extends to certain classes of 𝒵 -distributive lattices, where 𝒵 is a subset system replacing the system 𝒟 of all directed subsets (for which the 𝒟 -distributive complete lattices are just the continuous...

Page 1

Download Results (CSV)