On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic (Q3682479)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic |
scientific article |
Statements
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic (English)
0 references
1985
0 references
principle of dependent choice
0 references
Čech-complete spaces
0 references
complete metric spaces
0 references
generic sets of forcing conditions
0 references
deductive completeness of logical systems
0 references
Rasiowa-Sikorski lemma
0 references
ultrafilter theorem
0 references
compact Hausdorff spaces
0 references