The following pages link to (Q3329454):
Displaying 26 items.
- On the conservativity of the axiom of choice over set theory (Q647343) (← links)
- An equivalent of the axiom of choice in finite models of the powerset axiom (Q752712) (← links)
- A nonconservativity result on global choice (Q759750) (← links)
- Provable forms of Martin's Axiom (Q807616) (← links)
- The shrinking principle and the axiom of choice (Q996085) (← links)
- Equivalents of the axiom of choice. 2nd ed (Q1068821) (← links)
- Equivalent versions of a weak form of the axiom of choice (Q1115430) (← links)
- Axiom of choice in the model \(C\) (Q1178414) (← links)
- A note on some weak forms of the axiom of choice (Q1187546) (← links)
- The birth of social choice theory from the spirit of mathematical logic: Arrow's theorem in the framework of model theory (Q1615988) (← links)
- Different versions of a first countable space without choice (Q2390503) (← links)
- On Martin's axiom and forms of choice (Q2813673) (← links)
- (Q3057297) (← links)
- (Q3059443) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- Model theory under the axiom of determinateness (Q3715096) (← links)
- Generic Families and Models of Set Theory with the Axiom of Choice (Q3826548) (← links)
- A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices (Q4304098) (← links)
- Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis (Q4304795) (← links)
- The Axiom of Choice in Second‐Order Predicate Logic (Q4315328) (← links)
- Pigeonhole and Choice Principles (Q4511546) (← links)
- Von Rimscha's transitivity conditions (Q4521129) (← links)
- On the Leibniz–Mycielski axiom in set theory (Q4829349) (← links)
- CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE (Q4977217) (← links)
- An Equivalence‐Theoretic Equivalent of the Axiom of Choice (Q5187288) (← links)
- The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models (Q5749283) (← links)
