Publisher： Cambridge University Press
E-ISSN： 1943-5886|72|4|1318-1322
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.72, Iss.4, 2007-12, pp. : 1318-1322
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
The Journal of Symbolic Logic, Vol. 43, Iss. 1, 1978-03 ,pp. :
Access to resources
Recommend
Open sentences and the induction axiom
The Journal of Symbolic Logic, Vol. 23, Iss. 1, 1958-03 ,pp. :
Open induction and the true theory of rationals
The Journal of Symbolic Logic, Vol. 52, Iss. 3, 1987-09 ,pp. :
Quadratic forms in normal open induction
The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. :
On Diophantine equations solvable in models of open induction
The Journal of Symbolic Logic, Vol. 55, Iss. 2, 1990-06 ,pp. :