---

＜電子ブック＞
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / by W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
(Lecture Notes in Mathematics. ISSN:16179692 ; 897)

版	1st ed. 1981.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1981
大きさ	VIII, 384 p : online resource
著者標目	*Buchholz, W author Feferman, S author Pohlers, W author Sieg, W author SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity HTTP:URL=https://doi.org/10.1007/BFb0091894

 類似資料