{"entities":{"Q5013904":{"pageid":7043481,"ns":120,"title":"Item:Q5013904","lastrevid":55396012,"modified":"2026-02-17T15:29:36Z","type":"item","id":"Q5013904","labels":{"en":{"language":"en","value":"Well-ordering Principles, \u03c9-models and $$ \\varPi_{1}^{1} $$-comprehension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438596"}},"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":"Q5013904$41D768EF-0E3C-457D-B07B-3B53BB7BE2B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"285b203bc5cd51d86fe403d72f96382857f1c9d9","datavalue":{"value":{"text":"Well-ordering Principles, \u03c9-models and $$ \\varPi_{1}^{1} $$-comprehension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013904$2725BF0C-1C76-4180-845B-FF884BE42A38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d073ea1b7d9343dda73d07590b4fa62e7c557fa9","datavalue":{"value":"10.1007/978-3-030-49424-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$3FDC5C03-B6C0-4684-8DEC-F99B740B7166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$E1348946-60FD-4B9D-9665-DDA7FB6B45E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0703ed9b4e1701db8ded6c0e04e25d6d51b39e1c","datavalue":{"value":{"entity-type":"item","numeric-id":5013903,"id":"Q5013903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$0BC022F3-D164-4F34-B19F-9708CD0D923C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c32b06bc595cc0428a1baec33ca77fa4107426b","datavalue":{"value":{"entity-type":"item","numeric-id":5013890,"id":"Q5013890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$93EF8CFA-C205-4119-8746-A77E57B59070","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013904$323BDC01-8A28-4AB5-8C8A-DB930A9D587F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$BE5602A9-4E57-4EC3-9563-8CED6CF03603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$DD03C247-9AA3-46B7-98B3-4674EDE8E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$F26CF017-61EB-4318-98E2-CA53BF03863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$03A3E4F7-9212-488B-85AA-E67FA31292A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc819e52985abda93e8e0eae20acc28bc1281e50","datavalue":{"value":"7438596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$3ABE6935-2CE2-4F5F-8B1B-0E6A7A7FCE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$CCC020CD-F326-4B59-A78A-7F4E04FBDA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfa66b600748e9264f2794c3476e82b175e7214","datavalue":{"value":"well ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$2A81C013-9BF0-4F65-9F8B-38EF55B91D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef877646e9071604ac7b058a6e42e43e78320ee2","datavalue":{"value":"Sch\u00fctte deduction chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$9D1738EE-D001-4242-B9DB-9B8072D91695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8528bf90f59756ef5f8a8fee5d3f0bb095b89361","datavalue":{"value":"countable coded \\(\\omega \\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$75880A91-4F01-49E3-ABF5-FDD420B35B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce0f04ca90b2a8ea747b5d9c69cf0267771712df","datavalue":{"value":"\\( \\prod_1^1 \\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$F03DCE55-BD5C-4EC4-AC7B-9D9366BF45FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4323bfc835d23af3227b88468defc4b709e1a5","datavalue":{"value":"\\( \\Omega_n\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$83225A71-E3C5-4CC8-BE59-DE95CC5ED0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee6539d81f6a414a4f3a0d8e81db02e08112d2c","datavalue":{"value":"well-ordering proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013904$C8D8BCF4-1533-4734-9E19-565917E9D081","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":"Q5013904$0E39FD53-EC84-4C70-911B-E10EACA7C65D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6181f04496589273132f7db67c12426e2f0d51d2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-49424-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013904$4C7BF006-E7EF-4AEA-B0F8-10537AC83FFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89646d1f0146ea2c1330ef5f348627bbbb8d0cc3","datavalue":{"value":"W3048767038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013904$109F8F35-A199-4A1E-AE0A-D2ECF23CABD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$3DA14373-E942-41A6-A7C4-6035EACA7B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$F5FECA7D-5499-46AE-B592-AEF66139A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$0777B6CA-45B0-4149-9D13-93E480DFE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$CAA7412F-119E-42AD-BF49-3AC0763B12D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$E3279867-FA7F-4EE2-8D9F-882A083CCF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba6c431daf3ffbe713a7dc7231da3c8fc2d834","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$E713C44A-E103-4574-9DC5-E1D8AB62A41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$E29319A0-DB30-47BE-BFB2-422EEF28F03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5afed048875d75388d4a1774600332011fe47","datavalue":{"value":{"entity-type":"item","numeric-id":5361262,"id":"Q5361262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$08853B52-1CE8-4C69-ACB8-7F79DBB9229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f239548cb1863bf3e85251c695ab17762440852","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$A4A81E50-EF1A-4C01-AF60-3B1CEF93FD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2f68614948a6f9639403077e134483bc245d5","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$0C76F5CE-FD48-40AB-ABEE-D504E6FB8CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7df1f230b0a1f7c4b06732c60d23fdde79f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3809793,"id":"Q3809793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$E4EE5CAB-3E31-4EE1-82FB-257B8CFBF97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26b6fe1dc8e2bbf5665583e54521fccec9f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":3011121,"id":"Q3011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$EE1BE203-AC2F-46CD-B37A-12BBC0B55123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca4a190903e6132ae837adc7117807885185cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$3F1BD108-26AC-4320-9350-7AC7F48E8382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16215d4b6c5f90b07312cc97035cb1a21adefc58","datavalue":{"value":{"entity-type":"item","numeric-id":4774023,"id":"Q4774023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$7A1C6C9D-EAAC-4B74-A6DB-B9257CA43A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$EDE269D6-9FA3-45C6-A74B-527539F24957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$D6A2D5B8-B9CB-4D21-890B-84E31D45A9CA","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":"Q5013904$E488A13F-9040-4588-AB2E-70AED66405B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"400c50e85dbddb34619a8c3aab23708069973b94","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013904$1B6ECA85-B1C0-4D70-9A5A-A60262941DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259b5fd7a0f989fc0d40f257fa5f1477fdb4f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97a531552d25a28fa1ddc292de2864fbabc4ea8","datavalue":{"value":{"amount":"+0.8098474144935608","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":"Q5013904$F52B85C7-1A43-4C21-842C-CB8E5020E45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0e5a0537984b4e6d07b5ffd2a6b574a1a8bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf3fed462ee0d11b14f6e99b7094cbe6125be6d","datavalue":{"value":{"amount":"+0.8042830228805542","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":"Q5013904$12EF83D5-9409-4997-AFE4-2B656E35EDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53ace32958a272b3365cfbb6cd9b9e8462a74f","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d5bfed0aaab44b3457edd8380b77a4f02d39d1","datavalue":{"value":{"amount":"+0.7916429042816162","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":"Q5013904$B71A726C-53B2-4FBE-BC0F-80E5883FDB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7b1e14212b864978cb2849dc1335519482c18","datavalue":{"value":{"entity-type":"item","numeric-id":5361262,"id":"Q5361262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e360c1bb03698040a06b645d020eceac5e333aff","datavalue":{"value":{"amount":"+0.775374710559845","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":"Q5013904$3977EBB8-A572-4FEE-867D-0C02F55B7B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d833b0578279e3cc7f848e4881c7ebadfe22b62","datavalue":{"value":{"entity-type":"item","numeric-id":6080077,"id":"Q6080077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573dbcfa447e78584565bd7091ae1a9df6d2854e","datavalue":{"value":{"amount":"+0.7715238928794861","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":"Q5013904$B4E19ED9-A3CD-4702-9601-45D402ECFB8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013904","badges":[]}}}}}