@article{Friedman_1971,
    doi = {10.1016/0003-4843(71)90018-0},
    url = {https://doi.org/10.1016%2F0003-4843%2871%2990018-0},
    year = {1971},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {2},
    number = {3},
    pages = {325--357},
    author = {Harvey M. Friedman},
    title = {Higher set theory and mathematical practice},
    journal = {Annals of Mathematical Logic}
}

@article{Friedman_1971, doi = {10.1016/0003-4843(71)90018-0}, url = {https://doi.org/10.1016%2F0003-4843%2871%2990018-0}, year = {1971}, month = {jan}, publisher = {Elsevier {BV}}, volume = {2}, number = {3}, pages = {325--357}, author = {Harvey M. Friedman}, title = {Higher set theory and mathematical practice}, journal = {Annals of Mathematical Logic} }