Decidability of the AE-theory of the lattice of $${\varPi }_1^0$$ Π 1 0 classes
Crossref DOI link: https://doi.org/10.1007/s00153-017-0564-5
Published Online: 2017-08-12
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lawton, Linda http://orcid.org/0000-0001-8428-7288
License valid from 2017-08-12