8 results
AP Suite Extension Infrastructure
-
- Journal:
- Microscopy and Microanalysis / Volume 28 / Issue S1 / August 2022
- Published online by Cambridge University Press:
- 22 July 2022, pp. 730-731
- Print publication:
- August 2022
-
- Article
-
- You have access
- Export citation
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-97
- Print publication:
- March 1975
-
- Article
- Export citation
A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-87
- Print publication:
- March 1974
-
- Article
- Export citation
H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 112–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 178–186; also Indagationes mathematicae, vol. 26 (1964), pp. 178–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-585
- Print publication:
- December 1970
-
- Article
- Export citation
Abraham Robinson. On languages which are based on non-standard arithmetic.Nagoya mathematical journal, vol. 22 (1963), pp.83–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Nonstandard logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-250
- Print publication:
- 23 July 1968
-
- Article
- Export citation