{"entities":{"Q2787129":{"pageid":2797867,"ns":120,"title":"Item:Q2787129","lastrevid":58008336,"modified":"2026-04-03T10:41:04Z","type":"item","id":"Q2787129","labels":{"en":{"language":"en","value":"On definably proper maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545388"}},"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":"Q2787129$D78D6836-2D2D-4FDA-B289-56D9FD261ABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10444769263276c260e4d01c904592e0170f2049","datavalue":{"value":{"text":"On definably proper maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787129$1976EC02-E338-42C4-81B5-0464ECD0E65D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb95b42af1e70d85e33fecfcf52adce8e09f2b06","datavalue":{"value":"1353.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$4FA90CC9-6140-45EF-898A-343708C45DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dee3d9f192ff38b4dc31a7e0b8ae0caad223538","datavalue":{"value":{"entity-type":"item","numeric-id":267156,"id":"Q267156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787129$239F6E40-6CF4-438F-A81A-8F0E5B4C6FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b017da9786c8804ad7b41a1ae4778ce957e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":361792,"id":"Q361792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787129$E593992F-B232-4CF3-BD60-15070FB34F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46727e487ba679eacc5a730a93f866a461ee1840","datavalue":{"value":{"entity-type":"item","numeric-id":267157,"id":"Q267157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787129$6B092756-0CA5-43A6-A756-573976F48348","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787129$5AB4547A-8A63-448B-B3E5-CD64796C3672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ee83fd17f994f1e5a7e9f8f398ed5234d03043a","datavalue":{"value":{"time":"+2016-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787129$E61D56F9-DCD0-4340-8CE4-6FC8BAECFF0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c557559befc7faa205d2a4e89571895964da103c","datavalue":{"value":"https://arxiv.org/abs/1404.6634","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787129$CEA28806-1FE8-487C-B1F6-264194E4B627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d84b4763ec6baaa5e3e3683cd250289114d898f6","datavalue":{"value":"http://hdl.handle.net/11577/3216974","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787129$10B16D74-3C2C-4863-8B67-4B5CDFF73AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$EF5B4764-70E2-4519-8B98-439155DC4CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$AEE04A51-9E75-4288-91C8-0F07C223E926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e93b99feb474b34f018a90ad07ff1609faac01b","datavalue":{"value":"6545388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$E4CAAD0F-407F-4E72-9502-2F273D8B5E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66dd4d597c3af60992cd372ab7a0f46dd50f6f1f","datavalue":{"value":"o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787129$3A0825CD-F550-48B6-B744-F64DA7B01EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3431b27000c33295cf4d6164937a4006bb14cf15","datavalue":{"value":"definable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787129$078D08E7-D904-4058-8860-E6412CECB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1704a9f9b6159172922b9a0238c2a7c5b85676","datavalue":{"value":"proper map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787129$357B0F3C-D2F3-474A-A540-6AC3E89E3C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445b8eed7314aee4998332c0380a384839b6b76a","datavalue":{"value":"definably compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787129$FCEC3AFD-E217-4589-8284-F477BDA74F9E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18084e1532d06116d3e980700eda3b4ebfa08417","datavalue":{"value":"Q58017451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$67546010-1730-4F20-B80D-82DA14F4B673","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":"Q2787129$02EF7E0E-7714-4A7D-BB9F-9F0110920930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e001d329a5057e30875a78757a8f48776dd9600","datavalue":{"value":"W2963063031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$D5014E0E-3200-49A9-AB08-927DDD110F04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94fe2c7ae22597d6a357c08a77eded6eb6ede75f","datavalue":{"value":"10.4064/FM96-12-2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787129$0C259B3D-5E53-4636-A9C4-6BC34C714340","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9e6ba9842e9797e927b5a9a9fecb90dfe1ad566","datavalue":{"value":"The authors mainly work in the category of Hausdorff definable spaces over an o-minimal structure with definable Skolem functions. Their main results are: {\\parindent=0.8cm \\begin{itemize}\\item[(i)] A definably compact space is definably normal. \\item[(ii)] A locally definably compact space admits a local almost everywhere curve selection; definable compactness is preserved under elementary extensions and o-minimal expansions. \\item[(iii)] A morphism into a locally definably compact space is definably proper iff it is proper in the category of definable spaces iff it is definably closed with definably compact fibers. \\item[(iv)] Definable properness is preserved under elementary extensions and, if into a locally definably compact space, o-minimal expansions. \\item[(v)] ``Definably proper'' is equivalent to ``lifts completability of definable curves''. NEWLINENEWLINE\\end{itemize}} In the case of expansions of the ordered set of reals, ``definably compact'' means ``compact'' and ``definably proper'' into a locally definably compact space means ``proper''. ``Definably compact'' is also equivalent to the sentence ``each definable type has a limit''. For a morphism \\(f:X \\to Y\\) into a locally definably compact space, ``definably proper'' is equivalent to the statement ``for a definable type \\(p\\), if \\(\\tilde{f}(p)\\) has a limit in \\(Y\\), then \\(p\\) has a limit in \\(X\\)''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787129$9E34EA10-10BB-4C47-8C89-E81E3AB845BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c2bd62dc5ea44804a8decc307dda68e19bec635","datavalue":{"value":{"entity-type":"item","numeric-id":350787,"id":"Q350787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787129$96242F1E-6D24-42CC-B257-96D7C8B06FA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da1154979a3e86abab7406b541becde791b80f3","datavalue":{"value":{"entity-type":"item","numeric-id":3384030,"id":"Q3384030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0526f4ce1876727128b1a217ac15a3532c000e","datavalue":{"value":{"amount":"+0.7661660313606262","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":"Q2787129$0C2443B7-D856-4D71-84A7-65FE6CDE5A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5b02d6272a6817713cf5c296141a52d3d03e5f","datavalue":{"value":{"entity-type":"item","numeric-id":6094170,"id":"Q6094170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c036632d4a3002b669407ac5297fa725b396cf","datavalue":{"value":{"amount":"+0.7422038912773132","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":"Q2787129$FC59BF79-BBEF-4432-B834-B4D650EB0839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d2bb4111f5c0634796ea0d428d0bd6aa2f41cc","datavalue":{"value":{"entity-type":"item","numeric-id":2288333,"id":"Q2288333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6776320ae7c3f37ce309ad5591a4e88853cb6dcf","datavalue":{"value":{"amount":"+0.7396150231361389","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":"Q2787129$F4013B1C-244E-4E16-A7AE-0EE0A64B27B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe80173e8fe119458f16244c53b07092a4dfac7","datavalue":{"value":{"entity-type":"item","numeric-id":5311722,"id":"Q5311722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d865073a8f14f182031ee8b9a8799ec88fedf14","datavalue":{"value":{"amount":"+0.7366536855697632","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":"Q2787129$E6D13E03-709E-46B1-8BA2-F19C9DEFFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12af5b4f92a344f6f03066b6e3083aec71a3391e","datavalue":{"value":{"entity-type":"item","numeric-id":4354269,"id":"Q4354269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafa2b3deafea21e2ba2dcf045ea34c5d364540b","datavalue":{"value":{"amount":"+0.7308923602104187","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":"Q2787129$0751DD56-4317-4303-B502-830F36F7458B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2787129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2787129"}}}}}