A stronger form of a theorem of Friedberg
Notre Dame Journal of Formal Logic 5 (1):10-12 (1964)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRobert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216 - 232.
Russell Miller (2002). Definable Incompleteness and Friedberg Splittings. Journal of Symbolic Logic 67 (2):679-696.
Thomas G. McLaughlin (1962). On an Extension of a Theorem of Friedberg. Notre Dame Journal of Formal Logic 3 (4):270-273.
Marek Tokarz (1988). Synonymy in Sentential Languages: A Pragmatic View. Studia Logica 47 (2):93 - 97.
Robert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216-232.
Ehud Hrushovski & Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Douglas N. Hoover (1982). A Normal Form Theorem for Lω 1p, with Applications. Journal of Symbolic Logic 47 (3):605 - 624.
Jeffry L. Hirst (2004). Hindman's Theorem, Ultrafilters, and Reverse Mathematics. Journal of Symbolic Logic 69 (1):65-72.
Nobuyoshi Motohashi (1984). A Normal Form Theorem for First Order Formulas and its Application to Gaifman's Splitting Theorem. Journal of Symbolic Logic 49 (4):1262-1267.
Helen Billinge (1997). A Constructive Formulation of Gleason's Theorem. Journal of Philosophical Logic 26 (6):661-670.
Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman (2001). On the Strength of Ramsey's Theorem for Pairs. Journal of Symbolic Logic 66 (1):1-55.
Jordan Howard Sobel (1991). Hume's Theorem on Testimony Sufficient to Establish a Miracle. Philosophical Quarterly 41 (163):229-237.
Ross T. Brady (1993). Rules in Relevant Logic — II: Formula Representation. Studia Logica 52 (4):565 - 585.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
