Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 36, Number 4 (1995), 502-504.
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic
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.
Notre Dame J. Formal Logic, Volume 36, Number 4 (1995), 502-504.
First available in Project Euclid: 17 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
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]
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. https://projecteuclid.org/euclid.ndjfl/1040136911