Notre Dame Journal of Formal Logic

The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic

Roman Murawski

Abstract

Zygmunt Ratajczyk was a deep and subtle mathematician who, with mastery, used sophisticated and technically complex methods, in particular combinatorial and proof-theoretic ones. Walking always along his own paths and being immune from actual trends and fashions he hesitated to publish his results, looking endlessly for their improvement.

Article information

Source
Notre Dame J. Formal Logic Volume 36, Number 4 (1995), 502-504.

Dates
First available in Project Euclid: 17 December 2002

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1040136911

Mathematical Reviews number (MathSciNet)
MR1368462

Digital Object Identifier
doi:10.1305/ndjfl/1040136911

Zentralblatt MATH identifier
0844.03001

Subjects
Primary: 01A70: Biographies, obituaries, personalia, bibliographies
Secondary: 03-03: Historical (must also be assigned at least one classification number from Section 01) 03C62: Models of arithmetic and set theory [See also 03Hxx]

Citation

Murawski, Roman. The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. Notre Dame J. Formal Logic 36 (1995), no. 4, 502--504. doi:10.1305/ndjfl/1040136911. http://projecteuclid.org/euclid.ndjfl/1040136911.


Export citation

References

  • [1] ``On extendability of uncountable nonstandard models of ZF to models of KM," abstract, The Journal of Symbolic Logic, vol. 42 (1977), p. 466.
  • [2] ``On sentences provable in impredicative extensions of theories," Dissertationes Mathematicæ, vol. 178 (1979), pp. 1--44.
  • [3] ``On the number of expansions of the models of ZFC-set theory to models of KM-theory of classes," pp. 317--333 in Logic Colloquium '78, edited by M. Boffa, D. van Dalen, and K. McAloon, North-Holland, Amsterdam, 1979.
  • [4] ``A characterization of expandability of models for ZF to models for KM," Fundamenta Mathematicæ, vol. 113 (1981), pp. 9--19.
  • [5] ``Satisfaction classes and combinatorial sentences independent from PA," Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 28 (1982), pp. 149--165.
  • [6] ``Note on submodels for A$_2$," pp. 265--280 in Open Days in Model Theory and Set Theory, edited by W. Guzicki, W. Marek, A. Pelc and C. Rauszer, Leeds, 1983.
  • [7] ``Traces of models on initial segments," abstract, The Journal of Symbolic Logic, vol. 50 (1985), pp. 273--274.
  • [8] ``A combinatorial analysis of functions provably recursive in $I\Sigma_n$," Fundamenta Mathematicæ, vol. 130 (1988), pp. 191--213.
  • [9] ``Functions provably total in $I^-\Sigma_n$," Fundamenta Mathematicæ, vol. 133 (1989), pp. 81--95.
  • [10] (with H. Kotlarski) ``Inductive full satisfaction classes," Annals of Pure and Applied Logic, vol. 47 (1990), pp. 199--223.
  • [11] (with H. Kotlarski) ``More on induction in the language with a satisfaction class," Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 36 (1990), pp. 441--454.
  • [12] ``The Frege systems in the language of clauses," abstract, The Journal of Symbolic Logic, vol. 56 (1991), p. 1140.
  • [13] ``Arithmetical transfinite induction and hierarchies of functions," Fundamenta Mathematicæ, vol. 141 (1992), pp. 1--20.
  • [14] ``Subsystems of true arithmetic and hierarchies of functions," Annals of Pure and Applied Logic, vol. 64 (1993), pp. 95--152.