{"entities":{"Q2151390":{"pageid":2162133,"ns":120,"title":"Item:Q2151390","lastrevid":73439109,"modified":"2026-04-14T15:59:29Z","type":"item","id":"Q2151390","labels":{"en":{"language":"en","value":"A non-hyperarithmetical G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551707"}},"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":"Q2151390$5A4FAC8F-508A-4F28-BF0C-0EF4E689BD19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d8575cbe2f508d92d5434bc8f1945236724f1d4","datavalue":{"value":{"text":"A non-hyperarithmetical G\u00f6del logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151390$73C615D3-C011-4901-9649-15B76CDBF243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9255a018dae0baf10bd576a8cdacb5588251051","datavalue":{"value":"1498.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$4F752566-A6EE-437F-BD80-5D22F67BB64B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c7e5a1c5f91f05710a23d88e652905374e85dc4","datavalue":{"value":"10.1007/978-3-030-93100-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$C129EE99-118F-468D-9CF9-E7C3EF20B2C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$047C54BC-6B96-42DD-A581-B6E8775A7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6018be3dcb43cdc76421e1b409f7769f9d9293dc","datavalue":{"value":{"entity-type":"item","numeric-id":2120966,"id":"Q2120966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$A97DBE5B-68BC-4F2A-90AC-DADC687707DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$F7DF622B-F915-4C03-B768-6A7681224FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2151390$50152DB6-0FA3-4CA7-A817-E32A23112C2B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cd58031c02c486c1aa72725195b6f9d4f500306","datavalue":{"value":"The logic investigated in this paper is first-order G\u00f6del logic with truth values given by the set \\(\\{0\\} \\cup \\{1/n \\mid n \\in N\\setminus \\{0\\}\\}\\). It is shown that the set of valid formulas in such logic is \\(\\Pi_1^1\\) complete and that the set of satisfiable formulas is \\(\\Sigma_1^1\\) complete, strengthening previous results. The main tools used in the paper are properties of Kripke-Platek set theory and results involving admissible sets.  For the entire collection see [Zbl 1490.03004].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151390$D15557A0-13DA-4AF3-98DD-09FDD8A039BE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$974A8F61-813D-48C8-890D-78178ED2DBB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$F991D22E-B3E0-492B-B1BB-7B6343514F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$67B18DE2-EF58-4328-9557-C061AD56F349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60116f1f99542d9f63be480a0c22eb7d6e2845c3","datavalue":{"value":"7551707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$BDD3338D-814B-428B-A65F-A709619FB205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9ee2efa056a2d50f77db1d0c8f6a52f653a5d8","datavalue":{"value":"first-order G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151390$AE8800DC-BBAE-40E5-99AA-98D3C417C139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151390$5D164945-C78F-49F1-93A7-B8A525DFDBF4","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":"Q2151390$BC815A91-EF9D-49C8-B5C9-C53BA66E948A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f48fb3491c7e74a49a8f77c07ca8b4c284cfd54e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-93100-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151390$960BD3D8-054C-4814-B3EF-BF0239F60582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0872fc00640d5d57e736d98d741db48203967b7e","datavalue":{"value":"W4200469558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151390$B7A967E4-4D8B-4D33-9630-6DF820E2037E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ce02a475c71cc224d5f8cd28d7ab233b8d7b87","datavalue":{"value":{"entity-type":"item","numeric-id":1350524,"id":"Q1350524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$EC32BFD5-D6BC-4B20-A6E4-8BD3EC8719CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$2CC30F0D-B1FF-484A-B056-1F65AEDEC441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133b74af7d5821d23702be11600a40ece90371a","datavalue":{"value":{"entity-type":"item","numeric-id":5645404,"id":"Q5645404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$FB634E81-FEBC-48E9-B478-6FC9884F91BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$AF0B3C94-1A14-42FF-91A1-ABEEFAAD941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eab24102e948920dfd02bee90c9d71433c69f1d","datavalue":{"value":{"entity-type":"item","numeric-id":5951915,"id":"Q5951915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$75F2F881-4D67-4785-8B93-1C4940FD66DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8864b04d6a988839e64a54ee76a6e0e35978ec9f","datavalue":{"value":{"entity-type":"item","numeric-id":5703739,"id":"Q5703739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$47A64121-F6C2-4F40-8CBA-4BA01ACAC36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$721E509E-1F3E-4FC6-80B0-27A9A2314438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6240387d1f22d12014301b49d4f390878abd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151390$BF5088D8-5583-4158-B51C-70C395E6DC0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63fb04b41dcfd5b8d3a99025f932440bafc2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":5703739,"id":"Q5703739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cf5e58e82efe81c67c884578d14821d8985181","datavalue":{"value":{"amount":"+0.879763126373291","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":"Q2151390$61E1C9D3-36BD-40B0-A181-421F10809D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9b92e819b74aa06eea78d4ee6f8ea3d4d7432d","datavalue":{"value":{"amount":"+0.7976775169372559","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":"Q2151390$29A6CF6A-0BFE-4EE6-A363-F6CADF7CCDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ed5db62b12f929bee5f2d663f4b29c516377a8","datavalue":{"value":{"amount":"+0.7951931953430176","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":"Q2151390$4F206C3D-F009-474D-8857-CDC998915D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49a67d78ecf055635b2d47e651476de87c3a8ff","datavalue":{"value":{"entity-type":"item","numeric-id":4428309,"id":"Q4428309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65cbedf20611bfe60a0debdfd85f037e3730012","datavalue":{"value":{"amount":"+0.7926942706108093","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":"Q2151390$111B80E6-999F-4E78-B80F-7F4C91C08018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5381cba84e87955267254547fc4add5d6e92fb","datavalue":{"value":{"amount":"+0.7896945476531982","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":"Q2151390$C40BBD13-4246-4B8E-B19D-A57C656A5FA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-hyperarithmetical G\u00f6del logic","badges":[]}}}}}