A Stronger System of Object Theory as a Prototype of Set Theory

DOI10.1017/S0027763000011077zbMath0222.02073MaRDI QIDQ5626660

Katuzi Ono

Publication date: 1963

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Mathematics Subject Classification ID

Set theory (03E99)

Related Items (4)

Introduction of a Basic Theory of Objects ⋮ On a Theory Objects Based on a Single Axiom Scheme ⋮ New Formulation of the Axiom of Choice by making use of the Comprehension Operator ⋮ A Certain Kind of Formal Theories

Cites Work

• Untersuchungen über das logische Schliessen. I
• A Theory of Mathematical Objects as a Prototype of Set Theory
• On a Practical Way of Describing Formal Deductions

This page was built for publication: A Stronger System of Object Theory as a Prototype of Set Theory