Edit Profile Pakhomov, Fedor N. Compute Distance To: Compute Author ID: pakhomov.fedor-n Published as: Pakhomov, F. N.; Pakhomov, Fedor; Pakhomov, Fedor N. Documents Indexed: 11 Publications since 2012 all top 5 Co-Authors 5 single-authored 2 Zapryagaev, Alexander 1 Enayat, Ali 1 Freund, Anton 1 Mikec, Luka 1 Visser, Albert 1 Vuković, Mladen all top 5 Serials 2 Archive for Mathematical Logic 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Journal of Logic and Computation 1 Sbornik: Mathematics 1 Izvestiya: Mathematics 1 Logic Journal of the IGPL 1 Proceedings of the Steklov Institute of Mathematics Fields 11 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 5 times in 4 Documents Cited by ▼ Year ▼ On elementary theories of ordinal notation systems based on reflection principles. Zbl 1373.03124Pakhomov, F. N. 2 2015 Undecidability of the elementary theory of the semilattice of GLP-words. Zbl 1268.03082Pakhomov, F. N. 2 2012 On the complexity of the closed fragment of Japaridze’s provability logic. Zbl 1339.03057Pakhomov, Fedor 1 2014 On elementary theories of ordinal notation systems based on reflection principles. Zbl 1373.03124Pakhomov, F. N. 2 2015 On the complexity of the closed fragment of Japaridze’s provability logic. Zbl 1339.03057Pakhomov, Fedor 1 2014 Undecidability of the elementary theory of the semilattice of GLP-words. Zbl 1268.03082Pakhomov, F. N. 2 2012 Cited by 4 Authors 2 Beklemishev, Lev D. 1 Flaminio, Tommaso 1 Pakhomov, Fedor N. 1 Svyatlovskii, Mikhail V. Cited in 4 Serials 1 Mathematical Notes 1 Russian Mathematical Surveys 1 Studia Logica 1 Proceedings of the Steklov Institute of Mathematics Cited in 2 Fields 4 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) Citations by Year