Publisher： Cambridge University Press
E-ISSN： 1943-5886|39|1|151-162
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.39, Iss.1, 1974-03, pp. : 151-162
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A certain class of models of Peano arithmetic
The Journal of Symbolic Logic, Vol. 48, Iss. 2, 1983-06 ,pp. :
Access to resources
Recommend
Types omitted in uncountable models of arithmetic
The Journal of Symbolic Logic, Vol. 40, Iss. 3, 1975-09 ,pp. :
Arithmetic and the theory of types
The Journal of Symbolic Logic, Vol. 49, Iss. 2, 1984-06 ,pp. :
Arithmetic on certain families of elliptic curves
Bulletin of the Australian Mathematical Society, Vol. 61, Iss. 2, 2000-04 ,pp. :
Realcompactness and certain types of subframes
By Dube Themba
algebra universalis, Vol. 58, Iss. 2, 2008-03 ,pp. :