New Formulation of the Axiom of Choice by making use of the Comprehension Operator

DOI10.1017/S0027763000011181zbMath0222.02074OpenAlexW1522952251WikidataQ114654571 ScholiaQ114654571MaRDI QIDQ5626661

Katuzi Ono

Publication date: 1963

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

Full work available at URL: https://doi.org/10.1017/s0027763000011181

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

Related Items (1)

Introduction of a Basic Theory of Objects

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
• A Stronger System of Object Theory as a Prototype of Set Theory

This page was built for publication: New Formulation of the Axiom of Choice by making use of the Comprehension Operator