{"entities":{"Q2043309":{"pageid":2054051,"ns":120,"title":"Item:Q2043309","lastrevid":54054437,"modified":"2026-01-26T04:14:15Z","type":"item","id":"Q2043309","labels":{"en":{"language":"en","value":"Weak K\u00f6nig's lemma in Herbrandized classical second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7376806"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$AE88619F-15A2-4A81-A041-5F9C3402A7D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e1422d8b52fa7c69a8305e34305ad55b162aa42","datavalue":{"value":{"text":"Weak K\u00f6nig's lemma in Herbrandized classical second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2043309$A030B6B5-094F-4907-B786-791E217EF5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59fc261b19975ac22dba72849528d41a1a820d11","datavalue":{"value":"1486.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$3D8BFE39-C47B-4480-80E8-2178EA1FB051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f861ecc8b469097edb70230aae4baf0315d52cae","datavalue":{"value":"10.4171/PM/2056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$547E5F8D-57B9-4789-A561-EEA67C40CC2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$2EBA0B78-B4DC-4255-A09C-382AF938FA45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$DD2A1DE3-789F-4EA0-B86E-4327A9792484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23b4e8555f408787b63c0ea0dbb97985ac83a75","datavalue":{"value":{"time":"+2021-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2043309$3DCA62B5-BEBB-46C4-A37E-1CB96070CF7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81529f20cf015123872d80a1a8d09488005a02a8","datavalue":{"value":"Summary: This is a short paper describing how a herbrandized functional interpretation can give a new treatment of some issues in classical second-order arithmetic. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043309$85722B76-3457-439A-A553-CF36A6598B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$7BA913A6-5F1B-4824-8983-E2BC743809CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$0EDEF77B-3595-40A2-9427-759FF5A14F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$76F7608F-62E9-4192-8146-4971FE2E4C16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a1c86296c84974c8b355c378836ce9abd24e0a0","datavalue":{"value":"7376806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$662414DD-9300-40AC-86FF-1D57A702F5C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043309$CC60EDCA-3E7A-492F-8CAB-31EFFC9A8459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb88300884f96f26109627392e6bfbe8d550cf","datavalue":{"value":"Herbrandized functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043309$60DF50B7-7D7F-40DC-B29C-15E173A5DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043309$6B38D943-3F67-4F8A-A8F6-4E8D0905B7C9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$D323CC04-1599-46E4-863D-5C3E52A39E00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df92cce5b1b14e54b25229c6933ecc515659031c","datavalue":{"value":"Q124802491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$F2453FA2-70A0-4854-8264-6E492DADF93C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$D84A4B72-1AD5-40F8-A87F-70013898EE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$F9F19A12-33D4-4723-996C-9ED3676D9AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$9A4D149F-FD39-4514-9BB1-7A340C5737B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0585242910d00f6ed98a71175bb6151f9e7d698e","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$A3E65AA0-391A-4AAD-8597-6A525B71EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2e99af7020dec449ffea2d0934884ccc24fb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2195636,"id":"Q2195636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$0761B620-59FB-442C-9688-D33FCD7F3505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837bc1385595a868f157ad00f8e53f97083cfd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$234FAEB6-5B93-4A0B-B518-CC4431FD1749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$C2F3FE17-01D0-424D-830A-FA81FA57E0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$7B6B2D26-46A2-4530-88D0-BEAE492D8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043309$0BEDDC45-0402-42E4-A07F-38690F9F064F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"598cdebb3bc7a0abbd9824731fc3702b6ff82a91","datavalue":{"value":"https://doi.org/10.4171/pm/2056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2043309$4833B9BA-876A-4A65-9F33-E6BB700C8FB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf804daa24fee83993bcfe7430cdc5d280951509","datavalue":{"value":"W3116123968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043309$51A94CB7-1137-4430-B036-B1D8E6525850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8076f5de5f416d5305ef63c9bd561d00d583ba58","datavalue":{"value":{"entity-type":"item","numeric-id":2195636,"id":"Q2195636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18eb485a9426fc8a84abeb994f3494022eeacf9","datavalue":{"value":{"amount":"+0.8640615344047546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2043309$D9FB9BAA-0F2B-4739-9A79-D2EBEFCDD232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b05a8a7361cb4a835d63033312d40def941512","datavalue":{"value":{"entity-type":"item","numeric-id":1813063,"id":"Q1813063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1e5cb58f105d99f0e43cf99b0242b937635dfe","datavalue":{"value":{"amount":"+0.8278965950012207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2043309$D80E36E8-8E54-4513-84E2-DB6E6427299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dcb028b796e628b86f78e190d4d1f22b4c07a8","datavalue":{"value":{"amount":"+0.7878158688545227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2043309$9C785687-5FFD-47B3-A618-263CF9CAB0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6a439cb401c7a2f3638fc599c80413a1101627","datavalue":{"value":{"entity-type":"item","numeric-id":5112393,"id":"Q5112393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449f8db14590627ab5155b0b15f21417e37978e5","datavalue":{"value":{"amount":"+0.7471199035644531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2043309$664D409F-F1F7-4FBD-8D98-68FE7D872A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12b579ed6740067ccfec285697c374392567673","datavalue":{"value":{"amount":"+0.7342762351036072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2043309$9532505E-5D6E-4AED-ABE0-DC49A37FCCF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2043309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2043309"}}}}}