Pages that link to "Item:Q4232316"
From MaRDI portal
The following pages link to Independence of the partial axiom of choice of intuitionistic set theory (Q4232316):
Displaying 9 items.
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- On the conservativity of the axiom of choice over set theory (Q647343) (← links)
- Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\) (Q2710618) (← links)
- Some proofs of independence in axiomatic set theory (Q3237140) (← links)
- (Q3317099) (← links)
- Extending Independent Sets to Bases and the Axiom of Choice (Q4379629) (← links)
- The axiom of choice and the law of excluded middle in weak set theories (Q5387332) (← links)