Classical arithmetic as part of intuitionistic arithmetic
Grazer Philosophische Studien 55:127-41 (1998)
| Abstract | Argues that classical arithmetic can be viewed as a proper part of intuitionistic arithmetic. Suggests that this largely neutralizes Dummett's argument for intuitionism in the case of arithmetic. | |||||||||
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDaniel Dzierzgowski (1995). Models of Intuitionistic TT and N. Journal of Symbolic Logic 60 (2):640-653.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. II. Studia Logica 65 (2):155-179.
Leon Horsten (1998). In Defense of Epistemic Arithmetic. Synthese 116 (1):1-25.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Nicolas D. Goodman (1984). Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. Journal of Symbolic Logic 49 (1):192-203.
Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Ulrich Kohlenbach (1999). A Note on Goodman's Theorem. Studia Logica 63 (1):1-5.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Jeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
J. Michael Dunn (1979). Relevant Robinson's Arithmetic. Studia Logica 38 (4):407 - 418.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Analytics
Monthly downloads |
Added to index2010-11-03Total downloads12 ( #94,595 of 556,840 )Recent downloads (6 months)2 ( #39,122 of 556,840 )How can I increase my downloads? |
My notes
Discussion
