Edinburgh Research Archive logo

Edinburgh Research Archive

University of Edinburgh homecrest
View Item 
  •   ERA Home
  • Philosophy, Psychology and Language Sciences, School of
  • Philosophy
  • Philosophy research publications
  • View Item
  •   ERA Home
  • Philosophy, Psychology and Language Sciences, School of
  • Philosophy
  • Philosophy research publications
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Conservativeness and translation-dependent T-schemes

View/Open
KetlandAnalysis2000TransT-scheme.pdf (111.2Kb)
Date
2000
Author
Ketland, Jeffrey
Metadata
Show full item record
Abstract
Certain translational T-schemes of the form True(“f”) « f(f), where f(f) can be almost any translation you like of f, will be a conservative extension of Peano arithmetic. I have an inkling that this means something philosophically, but I don’t understand my own inkling.
URI
http://hdl.handle.net/1842/1339
Collections
  • Philosophy research publications

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page

 

 

All of ERACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisorsThis CollectionBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisors
LoginRegister

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page