Pages that link to "Item:Q5001547"
From MaRDI portal
The following pages link to NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547):
Displaying 7 items.
- Human-centered automated proof search (Q2069871) (← links)
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184) (← links)
- (Q3124717) (← links)
- (Q3741623) (← links)
- (Q4397797) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)