{"entities":{"Q4032456":{"pageid":6062191,"ns":120,"title":"Item:Q4032456","lastrevid":55235179,"modified":"2026-02-05T03:55:49Z","type":"item","id":"Q4032456","labels":{"en":{"language":"en","value":"\u2211 n Definable Sets without \u2211 n Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149795"}},"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":"Q4032456$982501C1-E219-4FF3-A8EA-72F1505C4635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad1a62221e5b1501edca4c4901366e8beed30c63","datavalue":{"value":{"text":"\u2211 n Definable Sets without \u2211 n Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032456$786700E3-CB85-459A-8309-7E8011DEEBCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18412ed167dd9ea32cf867b68371534cadb6d7c3","datavalue":{"value":"0771.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$F6DFF633-B464-49CE-9FD2-CCD3C216B666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aeab9d928970e67b18549f7aa5c8cb2b5440f27","datavalue":{"value":"10.2307/2153986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$EF9D681F-6006-46EC-A5B8-9008CB421005","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032456$8A23345E-FEF7-45C7-AFE1-7C9A942DE220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-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":"Q4032456$078BE93F-AC1B-4EFB-9823-7937147F66C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$D02178B4-EC81-4C07-AA1F-6A8364E75812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$93ED66B6-3527-4EC2-B795-E2757C771375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$802CADFA-D49A-4CD8-8070-41FF1D42B797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$F42C3920-9B51-455A-B4F4-309F1E1E47D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b4d704823d1b080cf4fbebe4493e5dcb1a45f5f","datavalue":{"value":"149795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$DF4AB8AC-CF19-4369-8FD7-40F30DC145C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7904c57da18445a2cca01af21a43eb3eada06331","datavalue":{"value":"Sacks Splitting Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$27EDABE4-C41F-4236-B760-0E7F1A63ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$0FB3D2B0-6632-4D16-A138-CE7D987F6D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974def49dcb6b2227ada51845845b89fff3317fe","datavalue":{"value":"Friedberg-Muchnik Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$51C26A94-982B-4120-B6B2-C4DA830D8E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50da1cd638f5a57670ba5ed2a4ecb81ea97f9c3f","datavalue":{"value":"models of \\(\\Sigma_ 1\\) collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$824DC821-F9E5-4CE8-B461-EB63838936C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa9f734e4616d6dbfd57e8d1fe351d1a10bdf5b","datavalue":{"value":"higher dimensional analogs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$D6CA9699-B1E7-45BD-BA43-79C64F025513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223bd93512d85f1b573784a2e891de93c2d332ca","datavalue":{"value":"splitting of r.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$2DAB6DD4-6B74-4A15-833D-452349BF92BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032456$C8304C83-894C-47B6-92BF-EA5485468A7B","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":"Q4032456$514D16CA-0370-4532-ADBB-E189EE92E9EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f340287d35410c4c1f5afcc5f18df9e0cb1c347","datavalue":{"value":"https://doi.org/10.2307/2153986","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032456$D79BB750-A34B-402A-BB64-8482D49C150A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"497b5121afb5c327c5e4b0d8970e0d7fdaa8ee67","datavalue":{"value":"W2322029536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032456$D7E4DCDF-0856-4208-96CB-000287B8C818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b95a4cd76a0c8ab64e6e9b9ddca7aed5a908e8","datavalue":{"value":{"entity-type":"item","numeric-id":3528148,"id":"Q3528148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58a5fcbcd2aec60b8e942475ff7cc79f480bd74","datavalue":{"value":{"amount":"+0.8782005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$CCC3959A-D03F-4A61-9587-FB760A2CD2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83267fe00f3964a8bc316413d175ee294725bf4","datavalue":{"value":{"entity-type":"item","numeric-id":5094890,"id":"Q5094890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cc932810484ac1c9f3a3bcefc93f864c494552","datavalue":{"value":{"amount":"+0.87593615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$8E67B396-853A-4E19-B09C-88791266A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa384e433d2565128ca7a2d9351425968f7dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":4918045,"id":"Q4918045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef48a507f4d6bc75dbfd61114082460d6a4ac7c6","datavalue":{"value":{"amount":"+0.8756997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$8BEA3C00-14F2-4867-9C13-DE563830CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141b2c41f6dcfa8532d30d9e23c8d91e780e3c28","datavalue":{"value":{"entity-type":"item","numeric-id":4723721,"id":"Q4723721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25144cc795d9ea43218f52d71cbc62da8b0ec06c","datavalue":{"value":{"amount":"+0.86679584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$BC25652F-05EA-43BF-856E-46158612FAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dc6b42fff511bbf742c68277071885929f24f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302602,"id":"Q4302602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c1158136084a34e5715ee6c1ac92a5afd77682","datavalue":{"value":{"amount":"+0.8619445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$53E54763-4D0B-4D1C-AD1C-3ACA3445BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da215d93e2c446edb9400a9dc3b5bd827b64fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":3778743,"id":"Q3778743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a1e8a36b51499e7a4bb87f18e85dbc05e4a617","datavalue":{"value":{"amount":"+0.8616809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$754CDE22-B475-459D-AF79-2CEBD44ADAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96c2cb9022024906ff2155831358c6727e05de9","datavalue":{"value":{"entity-type":"item","numeric-id":2373696,"id":"Q2373696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877f87153a30c47d183bde31ec7e1dadde7ae248","datavalue":{"value":{"amount":"+0.86094534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$9423DC82-8355-48B0-8D72-8D4DD375F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d938a3445f5f3467852a4850adc46fdd9a8b23c","datavalue":{"value":{"entity-type":"item","numeric-id":4944918,"id":"Q4944918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07857ddf5ff9da31c2336a58695b836405ed11a3","datavalue":{"value":{"amount":"+0.8598919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$6F48E45F-784C-4B78-B3AF-3CB8D01B9337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d0ecd32031509d0e46745cbb22b2dfc7fdf95a","datavalue":{"value":{"entity-type":"item","numeric-id":5122018,"id":"Q5122018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cf1e22c025535dbd2f90ba518f2ebc435d9a53","datavalue":{"value":{"amount":"+0.8576604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$9A9F8740-67D1-4ED7-A1FD-8C2BC448416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f3820a91143403b851a4b26b38e2133925348b","datavalue":{"value":{"entity-type":"item","numeric-id":1377911,"id":"Q1377911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56f5c7fb3124a22d3b83853487c603177457f17","datavalue":{"value":{"amount":"+0.8568973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032456$443FBC4F-6729-42D6-B756-BBE5902F8C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032456"}}}}}