Funder
Institute for Research in Fundamental Sciences
Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. Bahrami, S., Enayat, A.: Fixed points of self-embeddings of models of arithmetic. Ann. Pure Appl. Log. 169, 487–513 (2018)
2. Enayat, A.: A new proof of Tanaka’s theorem. In: New Studies in Weak Arithmetics. CSLI Lectures Notes, vol. 11, pp. 93–102 (2014)
3. Enayat, A., Wong, T.L.: Unifying the model theory of first-order and second-order arithmetic. Ann. Pure Appl. Log. 168, 1247–1283 (2017)
4. Lecture Notes in Mathematics;H Friedman,1973
5. Gaifman, H.: Models and types of Peano’s arithmetic. Ann. Math. Log. 9(3), 223–306 (1976)