The following pages link to (Q3475242):
Displaying 6 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- Combining sets with cardinals (Q812443) (← links)
- (Q3437734) (← links)
- (Q4234182) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)
- On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)