Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mariko YASUGI

The Ordinals of the Systems of Second Order Arithmetic With the Provably Δ21-Comprehension Axiom and With the Δ21-Comprehension Axiom Respectively

Japanese journal of mathematics :transactions and abstracts
1973English

Related publications

The Cone Axiom Implies the Homotopy Axiom

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1966English

The Axiom of Choice

2004English

Injectivity, Projectivity, and the Axiom of Choice

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1979English

The AXIOM Platform for Next-Generation Cyber Physical Systems

Microprocessors and Microsystems
Computer NetworksHardwareCommunicationsArchitectureArtificial IntelligenceSoftware
2017English

On the Relative Efficiency of DPLL and OBDDs With Axiom and Join

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the ‘‘Third Axiom of Metric Space”

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1927English

the Boxdot Conjecture and the Generalized McKinsey Axiom

The Australasian Journal of Logic
2018English

Tychonoff's Theorem Without the Axiom of Choice

Fundamenta Mathematicae
Number TheoryAlgebra
1981English

The Tychonoff Product Theorem Implies the Axiom of Choice

Fundamenta Mathematicae
Number TheoryAlgebra
1950English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy