4 citations to 10.3103/S0146411619070034 (Crossref Cited-By Service)

1. V. S. Sekorin, “On undecidability of unary non-nested PFP-operators for one successor function theory”, jour, № 4, 2024, 89  
2. V Sekorin, “On equivalence of PFP-operator and PFP-quantifier”, J. Phys.: Conf. Ser., 1902, № 1, 2021, 012085  
3. Vseslav Sekorin, 2023 Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM), 2023, 1  
4. V. S. Sekorin, “On Undecidability of Unary Nonnested PFP Operators for One Successor Function Theory”, Russ Math., 68, № 4, 2024, 79