@article{Avigad_1996,
    doi = {10.1016/0168-0072(96)00003-6},
    url = {https://doi.org/10.1016%2F0168-0072%2896%2900003-6},
    year = {1996},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {82},
    number = {2},
    pages = {165--191},
    author = {Jeremy Avigad},
    title = {Formalizing forcing arguments in subsystems of second-order arithmetic},
    journal = {Annals of Pure and Applied Logic}
}

@article{Avigad_1996, doi = {10.1016/0168-0072(96)00003-6}, url = {https://doi.org/10.1016%2F0168-0072%2896%2900003-6}, year = {1996}, month = {dec}, publisher = {Elsevier {BV}}, volume = {82}, number = {2}, pages = {165--191}, author = {Jeremy Avigad}, title = {Formalizing forcing arguments in subsystems of second-order arithmetic}, journal = {Annals of Pure and Applied Logic} }