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, Strahm, Thomas Adrian

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0942-5616

Language:

English

Submitter:

Florian Ranzi

Date Deposited:

23 Jan 2015 14:41

Last Modified:

05 Dec 2022 14:39

Publisher DOI:

10.1002/malq.201300063

BORIS DOI:

10.7892/boris.61790

URI:

https://boris.unibe.ch/id/eprint/61790

Actions (login required)

Edit item Edit item
Provide Feedback