A note on the theory SID<ω of stratified induction
| Data(s) |
2014
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/61790/1/malq201300063.pdf 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 <http://dx.doi.org/10.1002/malq.201300063> doi:10.7892/boris.61790 info:doi:10.1002/malq.201300063 urn:issn:09425616 |
| Idioma(s) |
eng |
| Relação |
http://boris.unibe.ch/61790/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
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 <http://dx.doi.org/10.1002/malq.201300063> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
