{"entities":{"Q1977486":{"pageid":1988228,"ns":120,"title":"Item:Q1977486","lastrevid":73743933,"modified":"2026-04-14T17:07:04Z","type":"item","id":"Q1977486","labels":{"en":{"language":"en","value":"Scattered toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1448519"}},"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":"Q1977486$50FF7F66-DC0A-40ED-952A-9D228EAC00B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a04cf8c530c307bd6a0b33f2bae545b95d2a284","datavalue":{"value":{"text":"Scattered toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977486$773BCDF1-A849-4407-A795-8349901A0C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0ef7a924e97cb3e250519f2e275772fa7f81a2","datavalue":{"value":"0961.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$1FB0566D-D5CE-40A4-A54B-88979A1B969E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaf671b32c871b3db7d5ee2c5ef83ac9c025914d","datavalue":{"value":"10.1016/S0168-0072(99)00035-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$229303FD-DEDD-4A84-978F-0C2CDB894560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dc1d372fc8dd7df4065f652624fc933970a8edc","datavalue":{"value":{"entity-type":"item","numeric-id":1818374,"id":"Q1818374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$717FEE20-188C-4C53-9F69-5013F1375E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$AFE4A206-7302-4CAC-B744-5D01529DB1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a64c885a1154df6f4ff877f7f306fc40e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":165870,"id":"Q165870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$0115E8E0-D902-417F-AD76-DBA72AAE64FD","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":"Q1977486$0AFEB8E0-0593-41C4-8792-0AADCB2CA1B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1197f4709d23e03f650c941d8cf07bc927e0c1a9","datavalue":{"value":{"time":"+2001-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977486$20B4D243-15E3-4B16-AFAF-99AA5A300B32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f067244e62380de8fccfe1bf9b9d09f4f732e70","datavalue":{"value":"A topos \\(\\mathbb X\\) is said to be scattered if every Boolean subtopos of \\(\\mathbb X\\) is locally closed (i.e., is an open subtopos of its closure). This is the natural generalization of the notion of `scattered space' from spaces to toposes; in the present paper, the authors show that it is equivalent to the validity in the internal logic of \\(\\mathbb X\\) of a `relativized' version of Kuroda's principle, namely the formula \\(\\forall x[(p(x)\\Rightarrow\\forall y p(y))\\Rightarrow\\forall y p(y)]\\Rightarrow\\forall x p(x)\\), and also to the validity of L\u00f6b's principle \\([\\forall\\psi(\\psi\\vee(\\psi\\Rightarrow\\phi)) \\Rightarrow\\phi]\\Rightarrow\\phi\\). Some examples and applications are given, in particular an application to a fixed point theorem for `unchanging' maps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977486$280179D0-78AB-4C6A-A3DF-B0EF9EB428B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$1F5AB12A-61EE-4CFB-B016-1698257B4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$DADC8191-19E2-443B-8F95-845ADBCEF7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$0E28DF0B-8DD3-45D3-92FB-1B7A2096C2E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d96c2951c53ae7e086d38b263e6b040da3578142","datavalue":{"value":"1448519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$9C4AA3BA-B737-4A6E-84E4-31BE9ABABCE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3110644201dae6102546734dedd0f656679ddc54","datavalue":{"value":"internal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977486$C4B8F839-142E-4DD2-AFFF-E97D36191033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874c08823ab06b808eff780460e9034da335aae1","datavalue":{"value":"Kuroda's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977486$EB0727A0-C9A9-4658-8E3D-020A4473D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2f8bea6025948629e275bd8049b3cdc58cad67","datavalue":{"value":"L\u00f6b's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977486$E37086C4-D1DD-473D-B9CA-C3D92DCD71E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977486$7FF4C9A4-9AD2-4577-A7C4-B4403C21F15D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$8FDC754B-5E8E-4AB1-A734-FA22CB7CD897","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":"Q1977486$71CF0E9C-C740-4402-ACF0-D70B3D803F9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f41710079fba2d4ca727006c486364613bdcf1","datavalue":{"value":{"entity-type":"item","numeric-id":3801546,"id":"Q3801546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$B229FEAE-62BC-40B3-8573-21F4ECD5EACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3879fdfca670d7f071d7baa350b899a1e5e0f697","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$80197566-36A0-475B-800A-FE8907194C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$18812E40-C688-4CD7-85AD-D0CEE4822166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f48d5742dbdd3ef0c7a68e3234bb90a4bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":3889051,"id":"Q3889051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$A86870FA-0DB9-42F4-89D7-B1051330AE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95cfa04bca9b762b765a205ac7048eee9b9b152a","datavalue":{"value":{"entity-type":"item","numeric-id":4260331,"id":"Q4260331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$AF405319-89D0-491F-AD6C-8D51DB976A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$28306E11-3EFF-4E7B-95C6-02E739AA5448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046c424c7923ae1143897958de3a45f9701bd825","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$B7D1D08B-12E5-45B9-BF92-BC56B2AE79E7","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":"Q1977486$47EC956F-6586-4350-9575-3BD809E83439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$208D3266-4D7A-4EF6-B670-38B5F7394B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e94863fb6f9eb6e8f5ddd08203713df6996c1","datavalue":{"value":{"entity-type":"item","numeric-id":3958510,"id":"Q3958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977486$E1F9D621-30C2-4774-A490-52E7067A518E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17a618f12fc9f8a803ba9de0cd88a364227224f3","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00035-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977486$91A04752-AA8A-4963-8B4F-5A9B8EC7D955","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17ca94ccfe050ef0d1db12a549f37052fcb278b9","datavalue":{"value":"W4212818683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977486$AB240744-0611-4CF6-8EDE-B45010F11E7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8317f62d228d41ca5f42eab2d06f818c6a985e","datavalue":{"value":{"entity-type":"item","numeric-id":4722244,"id":"Q4722244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ca9316dbb1036b4465e20315637cec03c56a31","datavalue":{"value":{"amount":"+0.7140393257141113","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":"Q1977486$487A7DB5-76CB-472A-BEB9-DEFB554A5B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a0da07ee7b2e23e4508f348a7d4be44607a295","datavalue":{"value":{"entity-type":"item","numeric-id":4399440,"id":"Q4399440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493208f19ae95e23717ca928a94d04355e608293","datavalue":{"value":{"amount":"+0.6957409977912903","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":"Q1977486$8BA11824-543E-4179-925C-BEE5833A0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5851580b9affd85a1b61771b15bf39ab0c2c0e09","datavalue":{"value":{"entity-type":"item","numeric-id":1731840,"id":"Q1731840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88330382bf1e865aa89da41901572b113bcd3b1","datavalue":{"value":{"amount":"+0.6909005641937256","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":"Q1977486$A3B21814-ED89-4BE8-A4F3-708628A15298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc3e6dd6e174a6a44dad04f96dc584d8ca0e0b","datavalue":{"value":{"entity-type":"item","numeric-id":283256,"id":"Q283256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2038a2b9a11ffff6dc9f8a697b6f29bbbe728d68","datavalue":{"value":{"amount":"+0.6887368559837341","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":"Q1977486$6CBB760D-F7F8-4355-9481-35BCD9DDB5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736d8e0f454322b8d2faf889e95801a38c9f7d7f","datavalue":{"value":{"entity-type":"item","numeric-id":998138,"id":"Q998138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f02565c2fbd53bf69627a641a466c0023b8353","datavalue":{"value":{"amount":"+0.6862666606903076","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":"Q1977486$075BA58A-7357-4A84-B9CD-E767F0C3463C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scattered toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scattered_toposes"}}}}}