Extending gödel's negative interpretation to ZF
Journal of Symbolic Logic 40 (2):221-229 (1975)
| 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,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrancesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Richard Zach (2007). First-Order Gödel Logics. Annals of Pure and Applied Logic 147:23-47.
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Stefano Berardi, Marc Bezem & Thierry Coquand (1998). On the Computational Content of the Axiom of Choice. Journal of Symbolic Logic 63 (2):600-622.
Fernando Ferreira (2008). A Most Artistic Package of a Jumble of Ideas. Dialectica 62 (2: Table of Contents"/> Select):205–222.
Charles Sayward (2001). On Some Much Maligned Remarks of Wittgenstein on Gödel. Philosophical Investigations 24 (3):262–270.
Gabriella Crocco (2003). Gödel, Carnap and the Fregean Heritage. Synthese 137 (1-2):21 - 41.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,212 of 556,807 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
