{"entities":{"Q2390512":{"pageid":2401255,"ns":120,"title":"Item:Q2390512","lastrevid":74000901,"modified":"2026-04-14T18:00:41Z","type":"item","id":"Q2390512","labels":{"en":{"language":"en","value":"Initially dense objects for metrically generated theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5585279"}},"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":"Q2390512$3C7028AB-974E-41AC-9712-D09CF14E9F82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6cc6274aa3c2d00a9f024e6e44377a6fdccc2b7","datavalue":{"value":{"text":"Initially dense objects for metrically generated theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390512$E7B4EB97-8912-4AFB-9C1E-C2279DD8BC8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4052a1a44ee6787755a50c13851a6a6dae749f","datavalue":{"value":"1185.54010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$B94B376B-0974-4994-A6BB-EB285502499D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd268e03c1338c9ece48b3fde0bc92a8362e0d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2390511,"id":"Q2390511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$50CAA997-AC7F-469C-8EF7-C2B6152FDB6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$2C452C44-5525-4F02-A6F3-3F0EB70EF7A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa5175cfbf455de09775e77fbc8884c835bf57d4","datavalue":{"value":{"time":"+2009-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390512$ED6491C4-708B-41AB-8727-AE269514567F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eb49935d526b076364dfe1de6040c916a06a406","datavalue":{"value":"Given a topological construct \\({\\mathbf X}\\), an object \\(Y\\in{\\mathbf X}\\) is said to be initially dense in \\({\\mathbf X}\\) if its bireflective hull is \\({\\mathbf X}\\). In this paper \\({\\mathcal C}\\)-metrically generated topological constructs in the sense of \\textit{E. Colebunders} and \\textit{R. Lowen} [Proc. Am. Math. Soc. 133, No.~5, 1547--1556 (2005; Zbl 1073.54006)] are considered. They are obtained as follows. Start with the topological construct \\({\\mathbf M}{\\mathbf e}{\\mathbf t}\\) of all quasi-pre-metric spaces and contractions, where a function \\(d: X\\times X\\to[0,\\infty]\\) is called a quasi-pre-metric if it is zero on the diagonal, and a mapping \\(f: (X,d)\\to (X', d')\\) is a contraction if \\(d'\\circ f\\times f\\leq d\\). For every full and isomorphism-closed subconstruct \\({\\mathcal C}\\) of \\({\\mathbf M}{\\mathbf e}{\\mathbf t}\\) which is closed with respect to initial morphisms and contains all \\({\\mathbf M}{\\mathbf e}{\\mathbf t}\\)-indiscrete spaces there is an associated construct \\({\\mathbf M}^{{\\mathcal C}}\\) consisting of so-called metered spaces with meters having a basis consisting of \\({\\mathcal C}\\)-metrics. Every so-called expander \\(\\xi\\) on \\({\\mathbf M}^{{\\mathcal C}}\\) leads to a full concrete coreflective subconstruct \\({\\mathbf M}^{{\\mathcal C}}_\\xi\\) of \\({\\mathbf M}^{{\\mathcal C}}\\). These topological constructs \\({\\mathbf M}^{{\\mathcal C}}_\\xi\\) are representative in the sense that every \\({\\mathcal C}\\)-metrically generated topological construct is isomorphic to \\({\\mathbf M}^{{\\mathcal C}}_\\xi\\) for some expander \\(\\xi\\) on \\({\\mathbf M}^{{\\mathcal C}}\\). For \\({\\mathcal C}=\\) {quasi-metric spaces}, \\({\\mathcal C}=\\) {totally bounded quasi-metric spaces}, \\({\\mathcal C}=\\) {metric spaces}, \\({\\mathcal C}=\\) {totally bounded metric spaces}, and for certain expanders \\(\\xi\\), objects are constructed which are initially dense in \\({\\mathbf M}^{{\\mathcal C}}_\\xi\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390512$CCF92A61-18D9-4617-AD41-76ED30F657F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$75FC4BFD-4D0E-410C-85AD-73E4D8254F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$C9A56F19-C5A8-434C-B82E-1D4DD2898C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$C246B61E-4A0B-4CEB-8696-B1AA4456F368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86ab9f2c6d9d9b863a63bfa8cf84e9d2183e3d82","datavalue":{"value":"5585279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$6E3C2781-6237-4A97-B900-54872211EBA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e00430f04094df5663855b65ebcd2af88ca32e","datavalue":{"value":"topological construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390512$2E15B1B9-ADD8-4983-9361-4B0289E1B616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5f0effd414bdb939dcdf61408d069b7730104e","datavalue":{"value":"metrically generated topological construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390512$FB2756D9-E58C-45B3-988B-387994EADB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23bc5c905d88a14c844751d3f8d8a99140523e90","datavalue":{"value":"initially dense object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390512$F4C6BC65-1271-43B8-A753-32CA87C97387","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b2911fdeea7f924850571195e6243062eb44a76b","datavalue":{"value":{"entity-type":"item","numeric-id":590219,"id":"Q590219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$716B7E4E-A997-4938-9CDA-83E567427661","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":"Q2390512$4C6BB6AC-63E9-4CF2-86AD-8DD110ACAE53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5272308771b49943edbbd94c0430ed7d28542ed7","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.03.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390512$D2A3BA28-74B4-4622-82C3-FB3FD6EB1AAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8bb13fbe3f3510edebeb6d1dc7176091c85ad6","datavalue":{"value":"W1970184312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$FA5A14A2-AA32-4D37-9BED-B24B9687B656","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"396ded46a9956a3020f2d55cd696cc10687e0d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3633277,"id":"Q3633277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$9E9C8521-F0B8-403C-A00D-6CFB098DFA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914442f5d411384190c97856943fda24e01bcdc5","datavalue":{"value":{"entity-type":"item","numeric-id":879227,"id":"Q879227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$56996DF1-69EC-47C3-9974-8D59EDBC44AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f905e3ce230b38566919911ac3227e18e67d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4654075,"id":"Q4654075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$5AB29580-76C7-41B4-BA3E-CB21F9A38782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4163b70dd46315a6b72c56c50d2b8555b582703a","datavalue":{"value":{"entity-type":"item","numeric-id":3810811,"id":"Q3810811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$36EC15CA-EEDB-43D3-981D-1660ADA009E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84430b5803f06a227323503a9ebd634eaca42f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3487612,"id":"Q3487612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$3EE1AED3-55E2-49EC-B375-7774F6DDF7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d6ff7bcc274de9578843dc3dc918168a7dfc11","datavalue":{"value":{"entity-type":"item","numeric-id":1320339,"id":"Q1320339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$EC1B0115-7DCA-40C7-B84F-013FF8BCE495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f336368c58067cc5cfbe50ea6d5782fd30b7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3670143,"id":"Q3670143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390512$7461723D-FACF-4F2C-A3BF-FBFBB2E1CF43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad879b6f765d4cdb7fdbedbb0833270f344c67a3","datavalue":{"value":"10.1016/J.TOPOL.2009.03.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390512$33D676E3-3DB8-4DE7-AF2D-E6C7FB3A5E35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96929ece4d9eb3f348124aca0eed2b72023b6d16","datavalue":{"value":{"entity-type":"item","numeric-id":4654075,"id":"Q4654075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb74235a1d7ba60b86ab1732d8d63624c91516c","datavalue":{"value":{"amount":"+0.8513046","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":"Q2390512$46215BCD-F83E-4F28-93C5-5945A4864731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa3c6e6b4e6f7b7676f3eeb9359f9d9b63a5eaf","datavalue":{"value":{"entity-type":"item","numeric-id":2957164,"id":"Q2957164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c0527d17a32c459d0bdf94895e396620335def","datavalue":{"value":{"amount":"+0.8284502","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":"Q2390512$1C5F9819-2DBC-4DCC-8440-970746FCC14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce95c653c3698f6c0d3cb31850ccd965a105b18e","datavalue":{"value":{"entity-type":"item","numeric-id":5271753,"id":"Q5271753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcef6c27ee65274b2e974a164d718c6eccfd0d8","datavalue":{"value":{"amount":"+0.82644343","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":"Q2390512$DDEE0BDB-D5DC-4946-93F3-1B1399EEA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6016392977a13b9d6d3950f525fd2103f85e85","datavalue":{"value":{"entity-type":"item","numeric-id":429318,"id":"Q429318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fa6104ccbe27731bbcd749ab0625e9e7eb3974","datavalue":{"value":{"amount":"+0.81786793","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":"Q2390512$BBD1F090-BE3B-4642-86E8-EBBBF74BC3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a699818b678e7a3b21b6c8d3ecf55a5376865b","datavalue":{"value":{"entity-type":"item","numeric-id":1013807,"id":"Q1013807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658271606ac2443973abe9656057f048a583ccbd","datavalue":{"value":{"amount":"+0.81463546","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":"Q2390512$9A9C4AA3-DE9D-43BC-B6F1-B3906A4A1DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64d055ac4d5295f485500f3df84ebb19ed17537","datavalue":{"value":{"entity-type":"item","numeric-id":1289178,"id":"Q1289178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e3ae2adce6269d8d5aa37fe9d7850762815bfe","datavalue":{"value":{"amount":"+0.8010622","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":"Q2390512$04F674A1-F3C6-4132-A8CC-AA92080FC10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62f72130ef82b348efc402a98b46818c60f634e","datavalue":{"value":{"entity-type":"item","numeric-id":2459310,"id":"Q2459310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bef1a56c6e04b7598989586a4aedcd19f2bfeba","datavalue":{"value":{"amount":"+0.80017304","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":"Q2390512$0B4C4BA6-19DC-4B82-A411-EC53D79B9C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52f6684547ca67f860bcf07da3d23c93aa60c92","datavalue":{"value":{"entity-type":"item","numeric-id":5233871,"id":"Q5233871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7d961e54d7225600515af43d8fb5a415d9cfff","datavalue":{"value":{"amount":"+0.7978836","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":"Q2390512$D0F25C5B-4CAB-412C-A32D-5D18480F28A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7992161c12f7d264b07d2c70e29e4abcadedc","datavalue":{"value":{"entity-type":"item","numeric-id":5284383,"id":"Q5284383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db04c55c496b65776aa7533262e1557c77c09e73","datavalue":{"value":{"amount":"+0.7963919","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":"Q2390512$6075413B-98D9-4A97-9FBA-00E8A13B08DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794a1626641d384f43d522e8ac64c119a7710fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2788973,"id":"Q2788973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4955dabdaf7ec27d076aaa3a19977503627f56e","datavalue":{"value":{"amount":"+0.7954544","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":"Q2390512$5E6B489B-B206-49C3-B078-DDE63829BD57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initially dense objects for metrically generated theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Initially_dense_objects_for_metrically_generated_theories"}}}}}