IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
From MaRDI portal
Publication:4602436
DOI10.1017/bsl.2017.27zbMath1377.01035OpenAlexW2775649179MaRDI QIDQ4602436
Wilfried Sieg, Charles Parsons
Publication date: 11 January 2018
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2017.27
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Feferman on foundations. Logic, mathematics, philosophy
- Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
- The first order properties of products of algebraic systems
- Arithmetization of metamathematics in a general setting
- The Operational Perspective: Three Routes
- The Gödel Editorial Project: A Synopsis
- A Fortuitous Year with Leon Henkin
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Parsons and I: Sympathies and Differences
- Some applications of the notions of forcing and generic sets
- Systems of predicative analysis
- Transfinite recursive progressions of axiomatic theories
