{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1390001205113453056.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"DOI","@value":"10.2969/jmsj/01020121"}},{"identifier":{"@type":"MRID","@value":"99912"}},{"identifier":{"@type":"NAID","@value":"130000822767"}}],"dc:title":[{"@language":"en","@value":"On the fundamental conjecture of <i>GLC</i> V"},{"@value":"On the fundamental conjecture of $GLC$ V."}],"dc:language":"en","creator":[{"@id":"https://cir.nii.ac.jp/crid/1410001205113453184","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000021622114"}],"foaf:name":[{"@language":"en","@value":"TAKEUTI Gaisi"}],"jpcoar:affiliationName":[{"@language":"en","@value":"Tokyo University of Education"}]}],"publication":{"publicationIdentifier":[{"@type":"PISSN","@value":"00255645"},{"@type":"LISSN","@value":"00255645"},{"@type":"EISSN","@value":"18811167"},{"@type":"EISSN","@value":"18812333"},{"@type":"CODEN","@value":"NISUBC"}],"prism:publicationName":[{"@language":"en","@value":"Journal of the Mathematical Society of Japan"},{"@language":"en","@value":"J. Math. Soc. Japan"},{"@language":"en","@value":"JMSJ, J. Math. Soc. Japan"},{"@language":"en","@value":"JMSJ"},{"@language":"ja","@value":"Ｊｏｕｒｎａｌ　ｏｆ　ｔｈｅ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｓｏｃｉｅｔｙ　ｏｆ　Ｊａｐａｎ"},{"@language":"en","@value":"Journal of the Mathematical Society of Japan"}],"dc:publisher":[{"@language":"en","@value":"The Mathematical Society of Japan"},{"@language":"ja","@value":"一般社団法人 日本数学会"}],"prism:publicationDate":"1958","prism:volume":"10","prism:number":"2","prism:startingPage":"121","prism:endingPage":"134"},"reviewed":"false","availableAt":"1958","relatedProduct":[{"@id":"https://cir.nii.ac.jp/crid/1390001205112577408","@type":"Article","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@language":"en","@value":"A Remark on Gentzen's Paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie”. II"}]},{"@id":"https://cir.nii.ac.jp/crid/1390001205323546752","@type":"Article","relationType":["isReferencedBy","isCitedBy"],"jpcoar:relatedTitle":[{"@language":"ja","@value":"非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)"},{"@language":"en","@value":"Proof Theory as an Analysis of Impredicativity(<Special Section>New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals)"},{"@value":"非可述性の分析としての証明論"},{"@language":"ja-Kana","@value":"ヒカジュツセイ ノ ブンセキ ト シテ ノ ショウメイロン"}]},{"@id":"https://cir.nii.ac.jp/crid/1390282680090157184","@type":"Article","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@language":"en","@value":"On the Fundamental Conjecture of GLC. VI"}]},{"@id":"https://cir.nii.ac.jp/crid/1390282680248752640","@type":"Article","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@language":"en","@value":"On the Formal Theory of the Ordinal Diagrams"}]},{"@id":"https://cir.nii.ac.jp/crid/1390282763061900288","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Cut-eliminability in Second Order Logic Calculus"}]}],"dataSourceIdentifier":[{"@type":"JALC","@value":"oai:japanlinkcenter.org:0028326385"},{"@type":"CROSSREF","@value":"10.2969/jmsj/01020121"},{"@type":"CIA","@value":"130000822767"},{"@type":"CROSSREF","@value":"10.3792/pja/1195523053_references_DOI_UaPRyS8p1Q5EObsBQ9BZ789IsHw"},{"@type":"CROSSREF","@value":"10.4288/kisoron.39.2_93_references_DOI_UaPRyS8p1Q5EObsBQ9BZ789IsHw"},{"@type":"CROSSREF","@value":"10.3792/pja/1195523627_references_DOI_UaPRyS8p1Q5EObsBQ9BZ789IsHw"},{"@type":"CROSSREF","@value":"10.4288/jafpos.27.0_45_references_DOI_UaPRyS8p1Q5EObsBQ9BZ789IsHw"},{"@type":"CROSSREF","@value":"10.4288/jafpos1956.1.151_references_DOI_UaPRyS8p1Q5EObsBQ9BZ789IsHw"}]}