Geodesic
Prime Ideal Theorems and systems of finite character
Commentationes Mathematicae Universitatis Carolinae, Tome 38 (1997) no. 3, pp. 513-536.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

\font\jeden=rsfs7 \font\dva=rsfs10 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{\jeden S}$ is a system of finite character then so is the system of all collections of finite subsets of $\bigcup \text{\jeden S}$ meeting a common member of $\text{\jeden S}$), the Finite Cutset Lemma (a finitary version of the Teichm"uller-Tukey Lemma), and various compactness theorems. Several implications between these statements remain valid in ZF even if the underlying set is fixed. Some fundamental algebraic and order-theoretical facts like the Artin-Schreier Theorem on the orderability of real fields, the Erdös-De Bruijn Theorem on the colorability of infinite graphs, and Dilworth's Theorem on chain-decompositions for posets of finite width, are easy consequences of the Intersection Lemma or of the Finite Cutset Lemma.
Classification : 03E25, 08A30, 13B25, 13B30
Keywords: axiom of choice; compact; consistent; prime ideal; system of finite character; subbase 
@article{CMUC_1997__38_3_a7,
     author = {Ern\'e, Marcel},
     title = {Prime {Ideal} {Theorems} and systems of finite character},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {513--536},
     publisher = {mathdoc},
     volume = {38},
     number = {3},
     year = {1997},
     mrnumber = {1485072},
     zbl = {0938.03072},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1997__38_3_a7/}
}
TY  - JOUR
AU  - Erné, Marcel
TI  - Prime Ideal Theorems and systems of finite character
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1997
SP  - 513
EP  - 536
VL  - 38
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1997__38_3_a7/
LA  - en
ID  - CMUC_1997__38_3_a7
ER  - 
%0 Journal Article
%A Erné, Marcel
%T Prime Ideal Theorems and systems of finite character
%J Commentationes Mathematicae Universitatis Carolinae
%D 1997
%P 513-536
%V 38
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1997__38_3_a7/
%G en
%F CMUC_1997__38_3_a7
Erné, Marcel. Prime Ideal Theorems and systems of finite character. Commentationes Mathematicae Universitatis Carolinae, Tome 38 (1997) no. 3, pp. 513-536. http://geodesic.mathdoc.fr/item/CMUC_1997__38_3_a7/