Second order arithmetic as the model companion of set theory

Giorgio Venturi, Matteo Viale. Second order arithmetic as the model companion of set theory. Arch. Math. Log., 62(1):29-53, 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.