Qi Feng, Ronald B. Jensen. Supercomplete extenders and type 1 mice: Part I. Annals of Pure and Applied Logic, 128(1-3):1-73, 2004. [doi]
@article{FengJ04:1, title = {Supercomplete extenders and type 1 mice: Part I}, author = {Qi Feng and Ronald B. Jensen}, year = {2004}, doi = {10.1016/j.apal.2003.12.002}, url = {http://dx.doi.org/10.1016/j.apal.2003.12.002}, researchr = {https://researchr.org/publication/FengJ04%3A1}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {128}, number = {1-3}, pages = {1-73}, }