@article{1183744306, author = {Steel, J. R.}, title = {The Well-Foundedness of the Mitchell Order}, journal = {J. Symbolic Logic}, volume = {58}, number = {1}, year = {1993}, pages = { 931-940}, language = {en}, url = {http://dml.mathdoc.fr/item/1183744306} }
Steel, J. R. The Well-Foundedness of the Mitchell Order. J. Symbolic Logic, Tome 58 (1993) no. 1, pp. 931-940. http://gdmltest.u-ga.fr/item/1183744306/