Funder
Russian Science Foundation
Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. Apt, K. R., and W. Marek, Second order arithmetic and related topics, Annals of Mathematical Logic 6: 177–229, 1974. https://doi.org/10.1016/0003-4843(74)90001-1
2. Baumgartner, J. E., and R. Laver, Iterated perfect-set forcing, Annals of Mathematical Logic 17:271–288, 1979. https://doi.org/10.1016/0003-4843(79)90010-X
3. Corrada, M., Parameters in theories of classes, in A.I. Arruda, R. Chuaqui, and N.C.A. da Costa, (eds.), Mathematical Logic in Latin America, Proceedings of Symposium, Santiago 1978, vol. 99 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, New York, Oxford, 1980, pp. 121–132.
4. Friedman, H., On the necessary use of abstract set theory, Advances in Mathematics 41(3): 209–280, 1981. https://doi.org/10.1016/0001-8708(81)90021-9
5. Friedman, S.-D., and V. Gitman, Jensen forcing for an inaccessible cardinal and a model of Kelley-Morse satisfying CC but not $$\text{DC}_\omega $$. Submitted. An extended abstract available at https://victoriagitman.github.io/research/2022/08/21/a-version-of-Jensens-forcing-for-an-inaccessible-cardinal.html, 2022.