Publisher： Cambridge University Press
E-ISSN： 1755-1633|11|3|321-323
ISSN： 0004-9727
Source： Bulletin of the Australian Mathematical Society, Vol.11, Iss.3, 1974-12, pp. : 321-323
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 recursive model for arithmetic with weak induction
The Journal of Symbolic Logic, Vol. 50, Iss. 1, 1985-03 ,pp. :
Access to resources
Recommend
Remarks on weak notions of saturation in models of Peano arithmetic
The Journal of Symbolic Logic, Vol. 52, Iss. 1, 1987-03 ,pp. :
Concatenation as basis for a complete system of arithmetic
The Journal of Symbolic Logic, Vol. 18, Iss. 1, 1953-03 ,pp. :
The Baire category theorem in weak subsystems of second-order arithmetic
The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. :