S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic [Book Review]

Journal of Symbolic Logic 59 (2):668-670 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275417

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.
Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Kurt Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xix + 662 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xxiii + 664 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy.Reinhard Kahle - 2020 - Philosophia Mathematica 28 (3):421-425.
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. edited by Wilfred Sieg, Richard Sommer, and Carolyn Talcott, Lecture Notes in Logic, vol. 15. A. K. Peters, Ltd., Natick, MA, 2002, viii + 440 pp.David Charles McCarty - 2005 - Bulletin of Symbolic Logic 11 (2):239-241.
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
Kurt Gödel. Collected works. Vol. IV, Correspondence A-G; V, Correspondence H-Z. Edited by Solomon Feferman, John W. Dawson Jr., Warren Goldgfarb, Charles Parsons, Wilfried Sieg. Oxford: Claredon Press, 2003. [REVIEW]Roberto Torretti - 2004 - Revista de filosofía (Chile) 60:169-172.
Wilfried Buchholz. Notation systems for infinitary derivations. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's consistency proof within infinitary proof theory. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.

Analytics

Added to PP
2013-11-03

Downloads
74 (#293,655)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references