Home > Search Results: keywords:"interpretation|axiomatic theory|interpretability|definable set"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.01 seconds. 
The notion of interpretation between axiomatic theories
 Štefanišin, Jan ; Švejdar, Vítězslav (advisor) ; Haniková, Zuzana (referee)
In this thesis we are researching the concept of intepretability between axiomatic theories and its basic properties, its use and variants. We define one- dimensional interpretation and show its behaviour on simple school theories. Then we define multi-dimensional interpetation and piecewise interpretation and use them to make structure of degree of interpretability, in particular Double Degrees structure. We use one-dimensional interpretations for transporting property of essential undecidability to theories in which theory R is interpretable. Finally we show that theory of bounded arithmetic I∆0 is loccaly interpretable in Robinson arithmetic Q, which is also an example of cut-interpretation and is related to Edward Nelson's finitist program which we will comment on. Keywords: interpretation, axiomatic theory, interpretability, definable sets, Ro- binson arithmetic
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English