On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
From MaRDI portal
Publication:3682479
DOI10.2307/2274230zbMath0567.03023MaRDI QIDQ3682479
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274230
compact Hausdorff spaces; complete metric spaces; Rasiowa-Sikorski lemma; ultrafilter theorem; Čech-complete spaces; principle of dependent choice; deductive completeness of logical systems; generic sets of forcing conditions
54E52: Baire category, Baire spaces
06E10: Chain conditions, complete algebras
03E25: Axiom of choice and related propositions
Related Items
The Hahn-Banach Property and the Axiom of Choice, Unnamed Item, Algebraic Logic, Where Does it Stand Today?, Continuing horrors of topology without choice, Omitting types for algebraizable extensions of first order logic, Versions of Normality and Some Weak Forms of the Axiom of Choice
Cites Work