Pages that link to "Item:Q3682479"
From MaRDI portal
The following pages link to On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic (Q3682479):
Displayed 15 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Are mathematical theories reducible to non-analytic foundations? (Q482327) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Continuing horrors of topology without choice (Q1892171) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Specifying Peirce's law in classical realizability (Q2973242) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Versions of Normality and Some Weak Forms of the Axiom of Choice (Q4210840) (← links)
- The Hahn-Banach Property and the Axiom of Choice (Q4264531) (← links)
- On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory (Q4530154) (← links)
- MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS (Q5107237) (← links)
- Rasiowa–Sikorski Sets and Forcing (Q5214735) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)