Giorgio Venturi, Matteo Viale. Second order arithmetic as the model companion of set theory. Arch. Math. Log., 62(1):29-53, 2023. [doi]
@article{VenturiV23,
title = {Second order arithmetic as the model companion of set theory},
author = {Giorgio Venturi and Matteo Viale},
year = {2023},
doi = {10.1007/s00153-022-00831-9},
url = {https://doi.org/10.1007/s00153-022-00831-9},
researchr = {https://researchr.org/publication/VenturiV23},
cites = {0},
citedby = {0},
journal = {Arch. Math. Log.},
volume = {62},
number = {1},
pages = {29-53},
}