The Urysohn Lemma is independent of ZF + Countable Choice (Q5233980)
From MaRDI portal
scientific article; zbMATH DE number 7102564
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Urysohn Lemma is independent of ZF + Countable Choice |
scientific article; zbMATH DE number 7102564 |
Statements
The Urysohn Lemma is independent of ZF + Countable Choice (English)
0 references
9 September 2019
0 references
axiom of choice
0 references
axiom of countable choice
0 references
Urysohn lemma
0 references
Tietze extension theorem
0 references
Dedekind-finite set
0 references
Fraenkel-Mostowski permutation model
0 references
Läuchli's model
0 references
Pincus' transfer theorems
0 references
