Akiko Kino
From MaRDI portal
Person:774826
Available identifiers
zbMath Open kino.akikoMaRDI QIDQ774826
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4128524 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606583 | 1970-01-01 | Paper |
| On provably recursive functions and ordinal recursive functions | 1968-01-01 | Paper |
| On definability of ordinals in logic with infinitely long expressions | 1966-01-01 | Paper |
| A Note on Constructive Ordinals | 1964-01-01 | Paper |
| On predicates with constructive infinitely long expressions | 1963-01-01 | Paper |
| On ordinal diagrams | 1962-01-01 | Paper |
| A note on predicates of ordinal numbers | 1962-01-01 | Paper |
| On hierarchies of predicates of ordinal numbers | 1962-01-01 | Paper |
| A consistency-proof of a formal theory of Ackermann's ordinal numbers | 1958-01-01 | Paper |
Research outcomes over time
This page was built for person: Akiko Kino