Crossmark

Primitively Recursive Categoricity for Unars and Equivalence Structures

Crossref DOI link: https://doi.org/10.1134/S0037446621060033

Published Online: 2021-11-29

Published Print: 2021-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Blinov, K. V.
License Information

Text and Data Mining valid from 2021-11-01

Version of Record valid from 2021-11-01
More Information

Article History

Received: 14 December 2020

Revised: 1 August 2021

Accepted: 11 August 2021

First Online: 29 November 2021