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
Open PDFAbstract
Available in full text
Date
January 1, 1973
Authors
Publisher
Mathematical Society of Japan (JST)