The following pages link to (Q4880812):
Displaying 4 items.
- On the Cantor-Bendixson rank of a set that is searchable in Gödel's \(T\) (Q2799751) (← links)
- (Q3981005) (← links)
- Complexity of the decidability of the unquantified set theory with a rank operator (Q4311932) (← links)
- Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results (Q5026251) (← links)