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
doi 10.4099/jjm1924.41.0_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Mathematical Society of Japan (JST)

Related search

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