{"entities":{"Q694226":{"pageid":696075,"ns":120,"title":"Item:Q694226","lastrevid":63569529,"modified":"2026-04-11T14:03:19Z","type":"item","id":"Q694226","labels":{"en":{"language":"en","value":"Fixed points for the jump operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115015"}},"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":"Q694226$44F7B8D4-81E3-48FE-BC2D-F342D08A8C35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a70f04bcfe3113438d1c0f9e8b525566213e859a","datavalue":{"value":{"text":"Fixed points for the jump operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694226$2411FF87-EB75-460F-82FA-6A72E6A9F41F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fa950175c05db4f5de4103fb08a88b84af81dfb","datavalue":{"value":"1266.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$7555D99C-51C1-4216-9E23-9AE386894A36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02119532e8ee3b82864ea31300ae0b38862cab37","datavalue":{"value":{"entity-type":"item","numeric-id":431668,"id":"Q431668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$0BFF33A5-8764-417F-A5F8-8004006DE3EF","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":"Q694226$05EA87A8-B8E2-4D79-ADE9-105596164580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaff6a94ac821c6dcde7cb7d6a059bb2e8edd01d","datavalue":{"value":{"time":"+2012-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q694226$63624B82-2649-4350-B846-E272FECB2EF8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0edca22721cc5fdf1bb2c256b441b83b917d091d","datavalue":{"value":"The major result in the paper under review is that there is a countable admissible set \\(A\\) so that \\(J(A)\\) is \\(\\Sigma\\)-bi-embedabble with \\(A\\), where \\(J(A)=HF(\\text{Dom}(A),U)\\) and \\(U\\) is a universal \\(\\Sigma\\)-predicate on \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$E504C53A-9089-41D2-AFD0-37C451D478EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e7788f229b8213d94373bd7e802bf9837fa05217","datavalue":{"value":{"entity-type":"item","numeric-id":409317,"id":"Q409317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$B12F21E0-44BF-44DE-A7E4-969F7A1AB181","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$408DB09D-9F13-43D8-AEB4-B39E995697C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$91ED3FFA-DFC6-4BD2-BFCE-01BC8DD83166","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad26bd220432a57f882b9bb974c96776d7ffddd4","datavalue":{"value":"6115015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$8740E34F-7BA1-4917-9B4B-B4B54C6E9181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2505943d42c0cf20fcfaa65776a2ba8ebd8383db","datavalue":{"value":"KPU-structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$6E07A4BD-7CF2-42AD-8689-99A8C15404AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$5B075A3F-091D-4C9C-B16C-F2300720F1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65323e6f453c46c17c97071d63bc54a97c354b29","datavalue":{"value":"constructive representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$EA39F409-7C0C-48DC-A971-0ADE774340CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce8224cf5e8e9552b868154a37fb4265dab1985","datavalue":{"value":"recursively saturated structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$9820A46C-22F2-4A07-A105-84BD324AE49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$351F9282-350D-475F-A9E6-85659221AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c86270e2052af073ed93b4b537376e78238196","datavalue":{"value":"jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$B7769955-DD50-401B-8AD0-C0063506C1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283f330775960e8c4b9f45af660133a47f36496","datavalue":{"value":"hereditarily finite superstructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$ECE10937-01B5-414D-ABBE-BB33E171DF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0793290cafc7b1457afde11cc5f8e931497501","datavalue":{"value":"natural ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q694226$26F0BDB3-07F4-424D-A192-673BBB5DE60A","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":"Q694226$2715C18C-61DF-4BED-9F97-9BA281FF68D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aa909918053e5dd8039780f1e40209e5de9db5b","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9153-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q694226$26E8465C-E180-4A37-A2B7-2C1F7E563D48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec156bdc3e2d290f4288399f3fd232a5fb380c8e","datavalue":{"value":"W2112721261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$5C56652A-CF2D-4F99-88AB-088464F0CD9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23d298b36b6f6314b4b04ceb68262454cbcd40","datavalue":{"value":{"entity-type":"item","numeric-id":5391560,"id":"Q5391560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$548E491E-9FC4-4C4C-BADF-A11495D09E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8d4451d4d7d3dd3441f270dce867d2774675bf","datavalue":{"value":{"entity-type":"item","numeric-id":2454541,"id":"Q2454541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$4761F831-504A-4644-B628-9989A32F8B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230f93023f7010965efd76116a116d6ed8218612","datavalue":{"value":{"entity-type":"item","numeric-id":4706820,"id":"Q4706820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$C5A748DC-018B-43D6-9249-3DD0E8D77BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$CCEB2F39-5CAE-4419-ABB7-2EF29F8918E2","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":"Q694226$944DAADB-01D4-487D-9259-A58279BCF9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396cc7634fc8d7fe39672cbc1bf958934420169a","datavalue":{"value":{"entity-type":"item","numeric-id":431669,"id":"Q431669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$4D3DA13E-8995-4CD6-BC2D-398578D11BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986646d614dd59b51e972a01d227faf4ed8202a1","datavalue":{"value":{"entity-type":"item","numeric-id":3546105,"id":"Q3546105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$342B1DB2-44F0-4F05-8337-211BE442206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b489aef4df0c01680ab05ac08b9f0f01449508","datavalue":{"value":{"entity-type":"item","numeric-id":3611730,"id":"Q3611730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$07EC03FC-3CDC-458F-ADDD-009F04ED0CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694226$8C6A845E-7B6E-4E55-AB78-3165F85C827B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee4b5bcfca2990dee897e7ecc9f8f2cfeed0de32","datavalue":{"value":"10.1007/S10469-011-9153-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694226$87E47C73-80F1-457C-92F9-328D80217689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b21a30537be5b39edd8bd3700468ceaadf57b16","datavalue":{"value":{"entity-type":"item","numeric-id":5300071,"id":"Q5300071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44beb7eb60f73e0e403b671736abbde4a5fa8cf4","datavalue":{"value":{"amount":"+0.94232714","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":"Q694226$E22F9107-3254-48E4-B0D4-52B70574C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393ad4b953f84f3e9c89cb0895784af771e08fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1880927,"id":"Q1880927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ece595b18aa411b9d3b5f4d4d4beafe43df075c","datavalue":{"value":{"amount":"+0.8879634","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":"Q694226$03A2566D-DA78-4DB6-8DF8-F6202B3D039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330399bc6756e93dbde3db059e978b7e2449bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4469037,"id":"Q4469037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c2dafa3f4e96125acc5d335e5c0aab1f8ea30f","datavalue":{"value":{"amount":"+0.88037795","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":"Q694226$3AE71566-48BF-42AD-A454-E3324B730EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1696e5e308a8299ad36a8883a5dc9b36b54364","datavalue":{"value":{"entity-type":"item","numeric-id":4214518,"id":"Q4214518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc0ff9bf2b95cfbc2bb83288908255672a5c115","datavalue":{"value":{"amount":"+0.87877595","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":"Q694226$287507C7-F97E-4BE9-A1CD-DEE2AC54A873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb0da96658db521f2d012124e49d692f472020d","datavalue":{"value":{"entity-type":"item","numeric-id":3604115,"id":"Q3604115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a8810402a5bf2af2d7030fc1c8812599456548","datavalue":{"value":{"amount":"+0.87847203","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":"Q694226$13DB4307-68D2-4BC8-9880-2E7C47984DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fce3e52289f2e075d8657a0b675111e8a8b43","datavalue":{"value":{"entity-type":"item","numeric-id":3803105,"id":"Q3803105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f604cd854f92693e80c6fc6e444d065bb19fb78","datavalue":{"value":{"amount":"+0.877153","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":"Q694226$E377F4F0-BED1-4E61-B813-2DE7A0C5715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244ce460fbdb5f49b7c77644b0d0433194aa70cc","datavalue":{"value":{"entity-type":"item","numeric-id":4243706,"id":"Q4243706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc12b44aa02a2dfef7c05b376936e21a808cae7c","datavalue":{"value":{"amount":"+0.87248135","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":"Q694226$3C5108AA-ABA4-4C1A-A381-0F519E981A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e296e66efa63833bf5c7d67849d07a30858577aa","datavalue":{"value":{"entity-type":"item","numeric-id":1308286,"id":"Q1308286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5077676317c6dd60d4e5463208a484e07925dc","datavalue":{"value":{"amount":"+0.87098396","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":"Q694226$B9CC7314-43FD-44B6-920A-5195150F7690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd5a6a95306cb7c4b77a32454b386c0a3be086a","datavalue":{"value":{"entity-type":"item","numeric-id":2442705,"id":"Q2442705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c060c63dd45431ea15dd0d153da3da741b0574f3","datavalue":{"value":{"amount":"+0.86866385","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":"Q694226$0D4181F8-4E3E-4A19-9050-13A8728C319E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c617e0ee09a30e1a2badc8275e79f7487299ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4818776,"id":"Q4818776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea7345ba3583ba434712869caa78f4af832d298","datavalue":{"value":{"amount":"+0.8684789","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":"Q694226$7DE53AAC-782D-4ACE-9BDF-EECAEAEB603B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed points for the jump operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_points_for_the_jump_operator"}}}}}