The following pages link to (Q3981005):
Displaying 5 items.
- Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator (Q795031) (← links)
- Undecidability results for restricted universally quantified formulae of set theory (Q4291741) (← links)
- Complexity of the decidability of the unquantified set theory with a rank operator (Q4311932) (← links)
- (Q4865517) (← links)
- (Q4880812) (← links)