{"entities":{"Q793020":{"pageid":794868,"ns":120,"title":"Item:Q793020","lastrevid":64377126,"modified":"2026-04-11T19:27:07Z","type":"item","id":"Q793020","labels":{"en":{"language":"en","value":"A method of modeling a classical second stage arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855090"}},"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":"Q793020$A0B67A30-77C8-43BE-8972-E43EA2902FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bfdb9c5a5ca7072443535289b3c2e526fb4543d","datavalue":{"value":{"text":"A method of modeling a classical second stage arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793020$226FBAD9-FC55-480F-86B7-435A40ED2AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fec3e6e9ce26451eff0eb2a16f0c4c7b698cc8a","datavalue":{"value":"0538.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$8101A96F-F2CF-4255-949F-B7A0891BC2D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb4d7c0cda1dc83e0b93b53286119346f604621f","datavalue":{"value":"10.1007/BF01979645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$8D3E5BB9-2D40-4E8A-ABDC-EEAC73CD7A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be84bf9e7790a1cbebd0281d4477d4d3722262bd","datavalue":{"value":{"entity-type":"item","numeric-id":793019,"id":"Q793019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$A12B6510-B104-4FBF-B59B-FA1C4481B28D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$14C55149-1249-4BE7-9249-7C278860C21C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q793020$3B486D80-BE63-4226-965A-3C06978388B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b9dc90f16d3a528ec02b1aae8e381782f9d9ee","datavalue":{"value":"https://eudml.org/doc/187203","type":"string"},"datatype":"url"},"type":"statement","id":"Q793020$512841D1-ED60-4848-8EF2-50CE92F0B3C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f4632f5cf1aee37b95750e0c7264c2e2a7cdeee","datavalue":{"value":"In a previous paper [Algebra Logika 13, 132--144 (1974; Zbl 0296.02023)] the author described some general method of constructing models of higher order arithmetic using transfinite iteration of Kleene computability. For the second order case it can be compared with iteration of superjump. In the reviewed paper this construction is essentially modified allowing to construct a model of two-quantifier second order comprehension by means comparable with iteration of hyperjump. The presentation is very technical, but there are numerous remarks explaining the author's foundational motivations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793020$1C5A2590-88C2-416E-9678-8998F009FD57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$19F9A1E2-0AFB-436E-A09B-CE893B5665CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$8E05642C-5933-494A-95E9-0A13938AF35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$9F26DA29-940B-4554-A3CF-0153126E50CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46e551ac55b011de399b042d796cef64639395bb","datavalue":{"value":"3855090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$F51CFF05-F802-4039-BE1C-44815B74ABCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q793020$DEC8FFC9-FB3B-477F-8D10-E6EB6008C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ae166df8918d1a30092f78badc967e23c33313","datavalue":{"value":"two-quantifier second order comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q793020$378CE148-433E-489E-BD64-2FCF2726633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"119b51207e7971f2786910c4150159692caf6398","datavalue":{"value":"iteration of hyperjump","type":"string"},"datatype":"string"},"type":"statement","id":"Q793020$9A54177F-6639-4266-8792-D0F8C4D41BEB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$99D260F7-BB58-41E5-8222-319D8BFF188C","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":"Q793020$3833E8FB-FC74-4512-952C-5987CD3604DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4124e4360a9b01cc4d250077ca72cbfa95244590","datavalue":{"value":{"entity-type":"item","numeric-id":4049053,"id":"Q4049053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$5221F190-9D5F-4198-A366-C79A8E215E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dedac925d7813a42ab8642f70e88a61bbdbba8","datavalue":{"value":{"entity-type":"item","numeric-id":4109663,"id":"Q4109663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$C332BAE8-FD67-4D0F-879A-565CA7058B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e3e9358c130e2a414368cfd02806913b20d4c1","datavalue":{"value":{"entity-type":"item","numeric-id":2553524,"id":"Q2553524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793020$CAE75148-BBD1-47AB-ADC9-5FFFC8D29D54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96cd72844e41b73cc3ee62a16490db302abbbd68","datavalue":{"value":"W1984869879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793020$9089FC5F-0CFE-42C6-AC05-000C341422D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80870c06621a754feb096e2086e504a83e079663","datavalue":{"value":{"entity-type":"item","numeric-id":4451636,"id":"Q4451636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b9aea8ad1a852455e1d89071f703606ff2516b","datavalue":{"value":{"amount":"+0.7040222883224487","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":"Q793020$3E7D21A1-C86A-42EE-A015-73726D399B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a409f93c20f0a65271a48cf7fcd996b7cd2b8a9d","datavalue":{"value":{"amount":"+0.7034738063812256","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":"Q793020$27E53828-62A7-47BF-B1C9-6F441FBE5548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b82659c58d84e3acbede0ad80f3151923afc8a","datavalue":{"value":{"entity-type":"item","numeric-id":3362715,"id":"Q3362715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d18d47a30565ff2aff37882303f7662ce89b635","datavalue":{"value":{"amount":"+0.6939078569412231","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":"Q793020$A19E50F9-1476-41E0-B52E-11E09E20B6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2644b9b6bfd826d954a9616d8e38e059af1647","datavalue":{"value":{"entity-type":"item","numeric-id":5269197,"id":"Q5269197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e29930b805d43ca8cae83720856ed13ff4df66","datavalue":{"value":{"amount":"+0.68651282787323","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":"Q793020$BD344308-D103-4244-AD53-33332994BB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8532d2a4c841fc37c521bcf14575ab32c8a1e028","datavalue":{"value":{"entity-type":"item","numeric-id":6047713,"id":"Q6047713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08432cbea0c806063371fa2ee115e9a4dcf9be9","datavalue":{"value":{"amount":"+0.6834287047386169","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":"Q793020$53910E31-94D7-4DB4-9BEA-FDAC57A75661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method of modeling a classical second stage arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_of_modeling_a_classical_second_stage_arithmetic"}}}}}