{"entities":{"Q1104368":{"pageid":1115117,"ns":120,"title":"Item:Q1104368","lastrevid":66140493,"modified":"2026-04-12T07:49:27Z","type":"item","id":"Q1104368","labels":{"en":{"language":"en","value":"Quotients of semi-algebraic spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055757"}},"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":"Q1104368$2A50E383-6BFB-44D4-8C3F-A966DD45E84E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89103d1d7531537abce8c3212adde92893db5ac2","datavalue":{"value":{"text":"Quotients of semi-algebraic spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104368$CC9896E4-7800-4CDA-9227-D8E28855D4C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62c74fc61f4ddfb0a28b39f56bdbba8f3e68dc63","datavalue":{"value":"0647.14008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$6593A428-9C9E-4AAC-9A38-D36F2F8D67EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d8699fd530e98654f4e84209658756f72afc72","datavalue":{"value":"10.1007/BF01160681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$D8B0B0C5-A7D7-40A8-A73C-4FC0503A0543","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ebb29825737f5e6e2bc4bd6109e0ea97251bdd","datavalue":{"value":{"entity-type":"item","numeric-id":216849,"id":"Q216849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$D997889C-4656-44F0-92B7-85E9734D6DD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$5DAF8D74-929C-46B5-9C7D-8884EBD492EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1104368$BCF1E1CA-42AC-4597-88ED-FB0D6AAA8EA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bec41019c113808500a97ba1ec0b9f26c09d5038","datavalue":{"value":"https://eudml.org/doc/174051","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104368$839C4A03-8D7C-46E3-A0FF-511F15F7BA4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d8fc27b5731c8ec8759cd359425adeb9ad2255b","datavalue":{"value":"We consider semi-algebraic spaces over a fixed real closed field R. For M such a space and \\(E\\subset M\\times M\\) a semi-algebraic equivalence relation on M we say that the (geometric) quotient M/E exists if there is an identifying semi-algebraic map \\(M\\to N\\) whose fibres are the E- equivalence classes. In many cases, categorical quotients (i.e. effective epimorphisms) are also geometric quotients, for example if M is locally complete or if also non-affine spaces are allowed. Assume now that M is locally complete and E is closed. Then a necessary and sufficient condition for M/E to exist is that there should be a (closed) subspace \\(K\\subseteq M\\) such that \\(p_ 1| p_ 2^{-1}(K): p_ 2^{- 1}(K)\\to M\\) is proper and surjective (where \\(p_ 1,p_ 2: E\\rightrightarrows M\\) are the projections). If this is satisfied, then M/E ``is'' the proper quotient \\(K/E_ K\\) \\((E_ K:=E\\cap (K\\times K))\\). On the other hand, M/E does always exist if \\(p_ 1, p_ 2\\) are open. Examples show that the local completeness assumptions cannot be dropped. The proofs make use of the real spectrum and of elimination of quantifiers in the theory of real closed fields with non-trivial compatible valuation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104368$D91FA418-EE80-49AB-A211-2382B5C77CDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$F994E963-FB4A-434E-96C4-8A0E2323CA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$E7FD025C-5D9D-4832-B807-A47C78F7E815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5c3f3f15671905f0b3182e510bf57bb06a3684e","datavalue":{"value":"4055757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$67C66CED-C926-4D43-B16D-0ED37DD8F8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e8d7bf4542d47dd620007a54aa4cee75c1689c","datavalue":{"value":"semi-algebraic spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104368$694E0C6A-9CD5-429A-811F-B960F11D33FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104368$EAD81663-BD5E-4E22-871B-B40AF83AB716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7666b0dac0831bf4e93a391bfa9952b13f7f3b","datavalue":{"value":"geometric quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104368$EC17706E-0321-479C-95F9-74169FE3CB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205d59cce6a4aeae80aa04864ad6d01352283019","datavalue":{"value":"real spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104368$8620D5D6-99CA-4E5E-9688-B245C46A370B","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":"Q1104368$41B45603-1ED7-43A6-9FF3-26E75B4A49C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c467da9965311b13faba9d86776bf0664ead11ec","datavalue":{"value":{"entity-type":"item","numeric-id":3772340,"id":"Q3772340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$182E1B27-661F-41DA-ABDD-C3F4AE6A17BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1b1ae5f506ddd35c16f7d5e6b90384e7585f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1080904,"id":"Q1080904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$FACA4150-1F30-4C3B-BF6A-C81D4AFC7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff56a53d75e98e3c63ecbb27981e8384d12e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3331915,"id":"Q3331915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$5593F04F-7048-44F0-B7D2-38731FED0A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f2beab0dcece1974601cd8b78615045d1ee3ae","datavalue":{"value":{"entity-type":"item","numeric-id":3943066,"id":"Q3943066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$C6D390DE-2656-44E8-8278-5061607C39EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d50b96e20e7aa188c375ab3b3e3dcf0e24abfc","datavalue":{"value":{"entity-type":"item","numeric-id":799747,"id":"Q799747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$D35EE535-85B7-463B-8FE2-57A04BCA49D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff1a7d8cb713a95d4566ce6118a7a2ff0ad8c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5576276,"id":"Q5576276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$0F08A3B8-28D2-4C6D-A0D2-D6D42FCB8474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efa582e919454a92733ee6e4e4a2e2db93b2136","datavalue":{"value":{"entity-type":"item","numeric-id":1812813,"id":"Q1812813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$69B6B1FD-5A9D-42CB-A880-91535327B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703ca62ff94d83a5967998840c0e88086a530788","datavalue":{"value":{"entity-type":"item","numeric-id":4724592,"id":"Q4724592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$DFAE5C92-A118-4E49-8449-6CE26CAF9859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b7df23bd9001e3908949bda9337d31483e38ef","datavalue":{"value":{"entity-type":"item","numeric-id":911665,"id":"Q911665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104368$0F8D68AE-7AE3-4901-8E68-CEDC04C538FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78b6b164f3ec474de04189d4427c8bf43c0591ba","datavalue":{"value":"W1984592220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104368$7AF036F0-0427-4A49-ABE2-D8922264AD9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dcac5356982b60c6bc617f98a69dcad0e76edd","datavalue":{"value":{"entity-type":"item","numeric-id":1080904,"id":"Q1080904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6a53df57147dba4c5c49347a41638e525cf825","datavalue":{"value":{"amount":"+0.885153591632843","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":"Q1104368$AD429B20-9626-4ED9-99BD-023B588F4DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb6c203d7e1afec5e726878e25cf933b10f1897","datavalue":{"value":{"entity-type":"item","numeric-id":5942784,"id":"Q5942784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941746d1f111d25892c94174bfbae4b9c21a5842","datavalue":{"value":{"amount":"+0.7804831862449646","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":"Q1104368$8B0CBF54-9D09-495E-B912-7ECFD2E44E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f4fcfdab7271e69af21c552d4aea0c0f609529","datavalue":{"value":{"entity-type":"item","numeric-id":4788754,"id":"Q4788754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273567090567279f89b62222dcf3d72809b5e2dc","datavalue":{"value":{"amount":"+0.7778775095939636","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":"Q1104368$AFD7E5D1-A43C-4D94-8B43-65ADBCA1B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e1067bf46a8ca186adc9ec20ea1b31b670aeca","datavalue":{"value":{"entity-type":"item","numeric-id":676103,"id":"Q676103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8229c98d4643d545c458b47c5a4a58c2574a29","datavalue":{"value":{"amount":"+0.7669253945350647","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":"Q1104368$2A8F7891-075E-4289-8184-352325DA9A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4dc664c69961b8a59f263c6a996442f3e1ad0f","datavalue":{"value":{"entity-type":"item","numeric-id":4859930,"id":"Q4859930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8229c98d4643d545c458b47c5a4a58c2574a29","datavalue":{"value":{"amount":"+0.7669253945350647","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":"Q1104368$E62F75ED-55E1-4931-A942-A0BA2497BA74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotients of semi-algebraic spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotients_of_semi-algebraic_spaces"}}}}}