Pages that link to "Item:Q647343"
From MaRDI portal
The following pages link to On the conservativity of the axiom of choice over set theory (Q647343):
Displaying 6 items.
- A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184) (← links)
- Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\) (Q2710618) (← links)
- (Q3317099) (← links)
- On -hereditary Sets and Consequences of the Axiom of Choice (Q4521131) (← links)
- (Q4709808) (← links)
- (Q5494237) (← links)