Decoding in the automorphism group of a recursively saturated model of arithmetic

Publisher: John Wiley & Sons Inc

E-ISSN: 1521-3870|61|3|179-188

ISSN: 0942-5616

Source: MLQ- MATHEMATICAL LOGIC QUARTERLY, Vol.61, Iss.3, 2015-05, pp. : 179-188

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract