his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Measuring the Power of Arithmetical Theories
University of Skövde, School of Life Sciences.
2005 (English)Licentiate thesis, monograph (Other scientific)
Abstract [en]

This thesis discusses the possibility to measure the power of extentions of Peano Aritmetic, P A. It consists of three parts, an introduction and two separately written papers. In the introduction we present the problem and briefly give an account of van Lambalgen's and raatikainen's criticism of gnenralization of two versions of Chaitin's incompleteness theorem, and reinforces the above mentioned criticism. The second paper is the main paper of the thesis, and here, using the modal logic GL, we design a measure of the power, in terms of the capacity to prove theorems, of an important set of extentions of P A.

Place, publisher, year, edition, pages
Göteborgs Universitet , 2005. , 50 p.
Series
Filosofiska meddelanden, ISSN 0347-5794 ; 30
National Category
Other Mathematics Philosophy
Identifiers
URN: urn:nbn:se:his:diva-1575OAI: oai:DiVA.org:his-1575DiVA: diva2:31851
Presentation
(English)
Available from: 2007-07-23 Created: 2007-07-23 Last updated: 2010-04-16

Open Access in DiVA

No full text

Other links

http://www.phil.gu.se/posters/jslic.pdf

Search in DiVA

By author/editor
Sjögren, Jörgen
By organisation
School of Life Sciences
Other MathematicsPhilosophy

Search outside of DiVA

GoogleGoogle Scholar

Total: 757 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf