A majorizing semantics for hyperarithmetic sentences

DOI10.1007/BF01404103zbMath0449.03059MaRDI QIDQ1147137

L. N. Gordeev

Publication date: 1981

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

hyperarithmetic hierarchymajorizing semantics for hyperarithmetic sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other constructive mathematics (03F65)

Related Items

Proof-theoretical analysis: Weak systems of functions and classes

Cites Work

• Unnamed Item
• Systems of predicative analysis, II: Representations of ordinals

This page was built for publication: A majorizing semantics for hyperarithmetic sentences