An existence proof of isomorphism from a wellordering onto a type
From MaRDI portal
Publication:3986586
zbMATH Open0744.03055MaRDI QIDQ3986586
Author name not available (Why is that?)
Publication date: 27 June 1992
No records found.
No records found.
This page was built for publication: An existence proof of isomorphism from a wellordering onto a type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3986586)