Degrees of unsolvability associated with classes of formalized theories

Journal of Symbolic Logic 22 (2):161-175 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964178

Other Versions

No versions found

Links

PhilArchive

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

Feferman Solomon. Degrees of unsolvability associated with classes of formalized theories. [REVIEW]Hartley Rogers - 1962 - Journal of Symbolic Logic 27 (1):85-86.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]A. Ehrenfeucht & S. Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49, pp. 75–111., pp. 237–287.).Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
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.Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56, pp. 1–49.Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
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]Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.

Analytics

Added to PP
2009-01-28

Downloads
139 (#314,198)

6 months
39 (#219,990)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.
Enumeration reducibility and partial degrees.John Case - 1971 - Annals of Mathematical Logic 2 (4):419-439.
Pour-el’s landscape.Taishi Kurahashi & Albert Visser - 2024 - Bulletin of Symbolic Logic 30 (3):362-397.
The limitless first incompleteness theorem.Yong Cheng - 2025 - Logic Journal of the IGPL 33 (3).
Against Harmony: Infinite Idealizations and Causal Explanation.Iulian D. Toader - 2015 - In Ilie Parvu, Gabriel Sandu & Iulian D. Toader, Romanian Studies in Philosophy of Science. Boston Studies in the Philosophy and History of Science, vol. 313: Springer.

View all 11 citations / Add more citations

References found in this work

Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.

Add more references