A note on the theory SID<ω of stratified induction

Ranzi, Florian; Strahm, Thomas Adrian (2014). A note on the theory SID<ω of stratified induction. Mathematical Logic Quarterly, 60(6), pp. 487-497. 10.1002/malq.201300063

[img] Text
malq201300063.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (175kB) | Request a copy

We introduce and analyse a theory of finitely stratified general inductive definitions over the natural numbers, inline image, and establish its proof theoretic ordinal, inline image. The definition of inline image bears some similarities with Leivant's ramified theories for finitary inductive definitions.

Item Type: Journal Article (Original Article)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Ranzi, Florian and Strahm, Thomas Adrian
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
ISSN: 09425616
Language: English
Submitter: Florian Ranzi
Date Deposited: 23 Jan 2015 14:41
Last Modified: 23 Jan 2015 14:41
Publisher DOI: 10.1002/malq.201300063
BORIS DOI: 10.7892/boris.61790
URI: http://boris.unibe.ch/id/eprint/61790

Actions (login required)

Edit item Edit item
Provide Feedback