{"entities":{"Q387125":{"pageid":388892,"ns":120,"title":"Item:Q387125","lastrevid":61590915,"modified":"2026-04-11T00:20:39Z","type":"item","id":"Q387125","labels":{"en":{"language":"en","value":"Basic subtoposes of the effective topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237519"}},"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":"Q387125$5B8ADC22-675D-44B9-B9E5-F0DBC86F8AFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d373e4d6e4d121df732cff88ffcb8d58d66e40","datavalue":{"value":{"text":"Basic subtoposes of the effective topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387125$5DA76FB7-CDF4-44B3-A0C1-AC1C06993F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad7648d46bd5e6269ec0ec11ad19305ebdb5e309","datavalue":{"value":"1288.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$D112323E-A214-4E69-ABE9-B369698552AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e1bc495430c292b8563abdf2160bc34ebe302c","datavalue":{"value":{"entity-type":"item","numeric-id":387123,"id":"Q387123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$38055CCE-D80E-495B-84BB-E7ACF3E11DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$F56FBB22-0C61-488A-9059-CFE430AFBD08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$114E1028-3306-4280-983C-01F66D665F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-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":"Q387125$2F0F1D7C-97A0-4754-8C54-E286F3ECF9EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"816e3419701fe1ac83468cbf3786de78986e4348","datavalue":{"value":"https://arxiv.org/abs/1201.2571","type":"string"},"datatype":"url"},"type":"statement","id":"Q387125$03972C8D-5EB8-4149-B30F-EC6FA7CC551C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$78B3CACD-2CE0-45B4-A957-15743BAD7B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$4441919F-DA9A-448C-AB74-3738F847E0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$EC21F3E7-9D75-40C0-BACB-59527F1015BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$FF465A43-3830-492B-956C-8803037CA354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e01142343c405fbbdaff639b9b59a2819582b35","datavalue":{"value":"6237519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$9D7612AB-DD0B-480B-B98F-EAF92AEB7125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q387125$618E1399-B61F-49B3-B71B-7B296054B236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e28778dca5d3cb3a018ba9953e011f4ad044f64","datavalue":{"value":"local operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q387125$D2D3C1C8-5709-4F93-BC27-BF25F2EFE5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q387125$4BD18B45-FD05-4A7F-9A6B-35C404AA3E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8feeec548176449e019941717f3bbd58999cd125","datavalue":{"value":"sights","type":"string"},"datatype":"string"},"type":"statement","id":"Q387125$CBE286C7-91EB-4DB3-AF7E-3C9E7A6B221F","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":"Q387125$95F9220C-B18B-4BDF-B306-52F0468C05FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c340f32187d4e2e2944ef28c5667f27ee16761","datavalue":{"value":"W2082543867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$9F3A44D4-1FA9-4F63-9F21-C451A9EF82EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d62405a861db13a5d14302c34d80205c6a0586","datavalue":{"value":{"entity-type":"item","numeric-id":3083132,"id":"Q3083132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$7024E0AA-27E8-424C-99B4-5ADEC85A08F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$F84545B9-96BD-4A49-BBF4-06AC2368A559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734d4af33f667cea025b56cec577e0b8e49f6644","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$BEA0394C-2976-4B50-A9A1-EBF72768DE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$71122F2F-B56F-4C1A-92A0-FB473611BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$F6828F62-12E8-4599-86C5-F01758ED0E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$34BA91E7-0A13-4AE2-83DB-6AB6E3C32DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292c2298d006f85cb054296d5af75e445e05771a","datavalue":{"value":{"entity-type":"item","numeric-id":1102263,"id":"Q1102263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$254C1F39-7C31-4396-BEAF-08225E3D6733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e83d58408432b2faa8b3a69e5e6f4b630c4531","datavalue":{"value":{"entity-type":"item","numeric-id":5848894,"id":"Q5848894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$8D382864-9C57-4C3A-8C3E-4C8B4B3AF04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ba00916ee33b6c8eeca580b2324595dbbdcb5a","datavalue":{"value":{"entity-type":"item","numeric-id":2756989,"id":"Q2756989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$EA75AA22-BA1F-4F94-8FF8-259B048FA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b13c272f7e0efff584d99603822371efbd61ab","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$07B71A97-72F1-4572-8B37-9F4BF80FD9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc579453f457e41131451ea61628bb8dc4bfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4382484,"id":"Q4382484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$A7B99396-A373-44B1-BAFB-54CD5288DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7140527b2a91375a6cadeafe7ad81a288787cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3469268,"id":"Q3469268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$31C3E203-C653-4588-A1A6-F47B5412F1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd34dab55d379fa497df89abc78b357b6d5cd6d","datavalue":{"value":{"entity-type":"item","numeric-id":929629,"id":"Q929629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$504A7950-1F80-4CD7-9D7A-C6B96C10C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdf38218d2fe682a7987d3693144c71ac5ae3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$B8606242-421C-4FB1-8A41-9BC894BAC0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8e6a489a21cae1b2fbfaef62c865f7b53e67e6","datavalue":{"value":{"entity-type":"item","numeric-id":2505132,"id":"Q2505132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$7BDD1340-F947-4A18-AA3C-51193DD51FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5030ce0dec8b952b1f920f03a2d7a8346535490f","datavalue":{"value":{"entity-type":"item","numeric-id":818514,"id":"Q818514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$15BC9D6E-CE47-4DA8-901E-3A57AC212889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524fcac44424c63cd17ad9e208583b30a011d253","datavalue":{"value":{"entity-type":"item","numeric-id":3985093,"id":"Q3985093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$60C09DEF-3671-4A03-A664-6C3BA62FDD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fa2939a5ac430f35ff230c7c2721a6ced19572","datavalue":{"value":{"entity-type":"item","numeric-id":4879901,"id":"Q4879901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$9B9C1C4B-B846-4C13-9F82-7AD464FF15E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387125$94C3DE5A-740C-4266-8EF0-2E9B48ACDFBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae0c837e3193ad2500d38016ac89ea48c0d7181","datavalue":{"value":"10.1016/J.APAL.2013.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387125$7EC3155A-1ED9-411C-BAEA-45576A3E899B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f0761d6537b6708ce857e7baa933172c696c97","datavalue":{"value":{"entity-type":"item","numeric-id":5740653,"id":"Q5740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57303c18914f55958fa66fdd04eac25e6ad15548","datavalue":{"value":{"amount":"+0.8907082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$33C3A840-F2C7-4C55-B791-89B40A8C1339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0816453013340b399a5bc6ca05f38c9230282","datavalue":{"value":{"entity-type":"item","numeric-id":1061121,"id":"Q1061121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d58720081bc8c443b212e6c051938f08132344","datavalue":{"value":{"amount":"+0.88638794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$1EF28805-3951-413F-8B9F-86D6AFF99D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be69bf65634ae2ebfcebf2b1cbb7712e0ccc483d","datavalue":{"value":{"entity-type":"item","numeric-id":4391431,"id":"Q4391431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e744e97c10c7b9034d22c0e0d79f55853a2dc2","datavalue":{"value":{"amount":"+0.8836949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$D0F0568F-8CEA-42C3-8DA1-3B99897FF420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f914eadad22bbd057ef2c568d4973e687f1be3bc","datavalue":{"value":{"entity-type":"item","numeric-id":1073020,"id":"Q1073020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5021c8ec590bceff539827466c7abbf2a60d32","datavalue":{"value":{"amount":"+0.877193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$49F47946-7EA4-4C2A-AB73-9AA2AF9AE745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e67b080f0d038da58295fad977676248862d99b","datavalue":{"value":{"entity-type":"item","numeric-id":5718693,"id":"Q5718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4cc1b6df11fea81679002c370d54132df12ae4","datavalue":{"value":{"amount":"+0.875458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$21B60E2E-BD3F-48C3-88F4-17E8BB3C7E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8457385279cea08f03b9ddf8ec2a9f67ff1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1379794,"id":"Q1379794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be87b30c7cb2732a0c64f02b7599aa22e84b6b6","datavalue":{"value":{"amount":"+0.8701776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$1115E84B-4108-4677-977B-81C0258DF6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d39f36b9346c53e3388cf2a6145dc275860dca","datavalue":{"value":{"entity-type":"item","numeric-id":5159483,"id":"Q5159483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f8ba9b90b8ec1e9f8bb7ab974cf4b714706c5","datavalue":{"value":{"amount":"+0.86990535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$7D212243-3DD8-4BB0-B34D-7D46327EF2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071a84b2bc30f1d4a071bd883f89a405d41788df","datavalue":{"value":{"entity-type":"item","numeric-id":6142834,"id":"Q6142834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d021ca31e07ca2fb4c533bcb7c1511902c07ae30","datavalue":{"value":{"amount":"+0.8694505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$DAD44C4E-97F7-4988-A7EF-CB2CB2F14791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb6370e4ba38413d46ec127cdf44fde471477f6","datavalue":{"value":{"entity-type":"item","numeric-id":3484824,"id":"Q3484824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b80e84154e51a48309a1806bb88ea5be93c3e3","datavalue":{"value":{"amount":"+0.8657698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$E71CB6FE-4DF3-426E-A4A9-7A8EE774C3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d613266a205ae7002f2a9e340aa1636a5df73b","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5959fe4ace0bf31c702889ebbc3402619c99a9","datavalue":{"value":{"amount":"+0.86508304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387125$7AA5B958-44A4-40FB-999C-464C676C2546","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30cf3e9e49660303f8aee0c688bcf83ca09e4116","datavalue":{"value":"This article studies the lattice of local operators in M.~Hyland's \\textit{effective topos}. Reminding that subtoposes of a topos \\(\\varepsilon\\) are in 1-1 correspondence with local operators in \\(\\varepsilon\\), and that local operators are some endomaps on the subobject classifier of \\(\\varepsilon\\), since many variations on realizability arise as the internal logic of subtoposes of the effective topos, the motivation of the paper is clear: to provide instruments and insight on realizability models in toposes.NEWLINENEWLINEThe first technical contribution of the work is to show that every local operator is the internal join of a family of subsets of \\(\\mathbb{N}\\) (Theorem~2.4 in the article). But the main innovation presented here is the technical notion of \\textit{sight}, a tool by which it becomes viable to study inequalities between basic local operators. Sights are then used to present a concrete definition of truth for first-order arithmetic in subtoposes corresponding to local operators.NEWLINENEWLINEThe paper is very technical and the reader must be well acquainted with topos theory in general, and the construction and the properties of the effective topos in particular. Nevertheless, the conceptual width and depth of the paper is of interest for any researcher wishing to study realizability, and how it connects to topos theory, providing essential instruments to study effectiveness in a completely abstract way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q387125$842A1BDA-C6DE-49B9-AA2B-954DE6C5CE10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic subtoposes of the effective topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Basic_subtoposes_of_the_effective_topos"}}}}}