Hostname: page-component-77c89778f8-gvh9x Total loading time: 0 Render date: 2024-07-17T03:24:42.151Z Has data issue: false hasContentIssue false
  • English
  • Français

Introduction of a Basic Theory of Objects

Published online by Cambridge University Press:  22 January 2016

Katuzi Ono
Katuzi Ono*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In constructing various kind of mathematical theories on the basis of a common basic theory, it has been very usual to take up the set theory as the common basic theory. This approach has been already successful to a certain extent and looks like successfully developable in the future not only in constructing mathematical theories standing on the classical logic but also in constructing formal theories standing on weaker logics. In constructing mathematical theories standing on the classical logic, it has been successful in most cases only by interpreting mathematical notions in the set theory without defining any special interpretation of logical notions. In constructing any mathematical theory standing on weaker logics such as the intuitionistic logic, however, we have to give a special interpretation for logical notions, too.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 38 , March 1970 , pp. 185 - 225
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1970

References

Literature

[1] Ono, Katuzi; On formal theories, Nagoya Math. J., 32 (1968), 361–371.Google Scholar
[2] Ono, Katuzi; On tabooistic treatment of proposition logics, Proc. Jap. Acad, 44-5 (1968), 291–293.Google Scholar
[3] Ono, Katuzi; Logische Untersuchungen über die Grundlagen der Mathematik, J. of Fac. Sci., Imp. Univ. of Tokyo, Sec. I, Vol. III (1935), 329–389.Google Scholar
[4] Ono, Katuzi; A theory of mathematical objects as a prototype of set theory, Nagoya Math. J., 20 (1962), 105–168.CrossRefGoogle Scholar
[5] Ono, Katuzi; A stronger system of object theory as a prototype of set theory, Nagoya Math. J., 22 (1963), 119–167.CrossRefGoogle Scholar
[6] Ono, Katuzi; New formulation of the axiom of choice by making use of the comprehension operator, Nagoya Math. J., 23 (1963), 53–71.CrossRefGoogle Scholar