zbMATH — the first resource for mathematics

Saturation and \(\Sigma_2\)-transfer for ERNA. (English) Zbl 1184.03071
The paper continues the development of a weak theory of nonstandard analysis called ERNA (Elementary Recursive Nonstandard Analysis), introduced by P. Suppes and R. Sommer [Notas de la Sociedad Matemática de Chile 15, 73–95 (1995)], which was also considered in a previous paper by the present authors [J. Symb. Log. 73, No. 2, 689–710 (2008; Zbl 1141.03032)]. In this paper, the authors consider a version of the \(\Sigma^0_2\)-transfer principle (\(\Sigma_2\)-TRANS), and show that the consistency of ERNA + \(\Sigma_2\)-TRANS is provable in the primitive recursive arithmetic (PRA). Next, they introduce an (unrestricted complexity) saturation principle (SAT), whose consistency with ERNA is also claimed to be provable in PRA. They also discuss a generalization of the transfer principle to certain nonstandard formulas, and interpretations of classical subsystems of arithmetic based on the transfer principle.
I observe that many results in the paper look suspect, to put it mildly. For example, the authors simultaneously claim that on the one hand, ERNA + \(\Sigma_2\)-TRANS interprets \(\text{I}\Sigma_1\) and ERNA + \(\Pi_1\)-TRANS interprets \(\text{B}\Sigma_2\), and on the other hand that the consistency of these two theories is provable in PRA, contradicting Gödel’s incompleteness theorem in both cases.

03H05 Nonstandard models in mathematics
03F30 First-order arithmetic and fragments
Full Text: DOI
[1] Free-variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof 60 pp 122– (1995) · Zbl 0833.03021
[2] Model theory 73 (1990)
[3] DOI: 10.1016/S0049-237X(98)80016-5
[4] Proceedings of the IXth Latin American Symposium on Mathematical Logic Notas de Logica Matematica 38 pp 1– (1993)
[5] Introduction to the theory of infinitesimals (1976) · Zbl 0336.26002
[6] Metamathematics of first-order arithmetic (1993) · Zbl 0781.03047
[7] DOI: 10.1006/jmps.1997.1142 · Zbl 0911.03036
[8] Mathematical logic (1967) · Zbl 0149.24309
[9] DOI: 10.2178/bsl/1174668218 · Zbl 1129.03039
[10] Nonstandard analysis, axiomatically (2004) · Zbl 1058.03002
[11] Transfer and a supremum principle for ERNA 73 pp 689– (2008) · Zbl 1141.03032
[12] Notas de la Sociedad Matematica de Chile 15 pp 73– (1996)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.