On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic

DOI10.2307/2274230zbMath0567.03023OpenAlexW1992145931MaRDI QIDQ3682479

Robert Goldblatt

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

zbMATH Keywords

compact Hausdorff spacescomplete metric spacesRasiowa-Sikorski lemmaultrafilter theoremČech-complete spacesprinciple of dependent choicedeductive completeness of logical systemsgeneric sets of forcing conditions

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Chain conditions, complete algebras (06E10) Axiom of choice and related propositions (03E25)

Related Items

Adequacy and complete axiomatization for timed modal logic ⋮ The Hahn-Banach Property and the Axiom of Choice ⋮ Continuing horrors of topology without choice ⋮ The Countable Henkin Principle ⋮ Concurrent weighted logic ⋮ Set theory and the analyst ⋮ MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS ⋮ Specifying Peirce's law in classical realizability ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ Are mathematical theories reducible to non-analytic foundations? ⋮ On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory ⋮ Rasiowa–Sikorski Sets and Forcing ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Versions of Normality and Some Weak Forms of the Axiom of Choice

Cites Work

• On bicompact spaces
• Unnamed Item