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

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 |