Currently displaying 1 – 9 of 9

Showing per page

Order by Relevance | Title | Year of publication

Struktur- und Anzahlformeln für Topologien auf endlichen Mengen.

Manuscripta mathematica

$𝒲$-completeness and fixpoint properties

Archivum Mathematicum

A primrose path from Krull to Zorn

Commentationes Mathematicae Universitatis Carolinae

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

Prime Ideal Theorems and systems of finite character

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 $\text{S}$ is a system of finite character then so is the system of all collections of finite subsets of $\bigcup \text{S}$ meeting a common member of $\text{S}$), the Finite Cutset Lemma (a finitary version of the Teichm“uller-Tukey Lemma), and various compactness theorems. Several implications between these statements...

Prime and maximal ideals of partially ordered sets

Mathematica Slovaca

$𝒵$-distributive function lattices

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 $\left[X,Y\right]$ 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...

Natural continuity space structures on dual Heyting algebras

Fundamenta Mathematicae

Page 1