{"entities":{"Q1840986":{"pageid":1851728,"ns":120,"title":"Item:Q1840986","lastrevid":69048135,"modified":"2026-04-13T04:04:17Z","type":"item","id":"Q1840986","labels":{"en":{"language":"en","value":"Compactification of \\(L(Q)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568522"}},"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":"Q1840986$3C874750-D6F5-47D3-B114-D57FAB208ADD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c0f3707e9349b8fbacb74758e0f6ba92d0dbb8d","datavalue":{"value":{"text":"Compactification of \\(L(Q)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840986$8343D445-00C7-4CEA-B7B5-2FB1006C82DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee0475df96ecd861e752401de6b6d84e623097ed","datavalue":{"value":"0974.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$59F56AFF-1436-4024-AED6-C9E64B6BAA26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb45314c9092cdf18b432948fba9c215fb565fc","datavalue":{"value":"10.1023/A:1005286322113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$A575244F-7999-4C6D-BEC8-BEBCA37BF434","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5f84ab4193ccbb395a2f5877cfd147c33ad89be","datavalue":{"value":{"entity-type":"item","numeric-id":1840985,"id":"Q1840985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840986$377E47A5-EE94-4E8C-9F74-6150F236471C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02e2d7bda28f02e5f35bc547ab280c3b24f618c","datavalue":{"value":{"entity-type":"item","numeric-id":752701,"id":"Q752701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840986$5A84F87C-098B-4510-B5F6-B6F1F807A113","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840986$D630C533-DBCC-47F4-A848-7EC209935B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53cc9b739d076778b9207d322c3b005b7ae83bc","datavalue":{"value":{"time":"+2001-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840986$F50FB2B0-7DE2-4C7D-8810-7804351C239C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3dfa34d9a3d8b18e72ee810dfbf8d8cb8142db2c","datavalue":{"value":"For any monadic quantifier \\(Q\\), the authors consider the fragment \\(L_\\tau(Q)\\) of the logic \\(L(Q)\\) where \\(\\tau\\) is a finite relational type. Building on \\textit{X. Caicedo's} paper ``Continuous operations on spaces of structures'' [in: M. Krynicki et al. (eds.), Quantifiers: logics, models and computation, Vol. 1, Kluwer, Dordrecht, Synthese Libr. 248, 263-296 (1995; Zbl 0904.03025)], as well as on their joint paper with the present reviewer [``Cauchy completeness in elementary logic'', J. Symb. Log. 61, No. 4, 1153-1157 (1996; Zbl 0871.03020)], they investigate the natural pseudo-metric structure on the space \\(S\\) of \\(\\tau\\)-structures, given by quantifier rank. Adding to \\(S\\) new elements, roughly corresponding to Cauchy sequences of \\(\\tau\\)-structures, they finally obtain a compact extension of \\(L(Q)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$30F268CD-D0AB-4B11-94D1-F5ADB8E87A5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840986$F90EF5A2-5C2F-4EE4-8E6F-BCE73C7F538E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$825D3A22-C84D-466B-AAA2-F5A93BAD06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$54D0A407-1ACA-4267-85C6-AC0934FCB989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"272d2b29218c90ea0878d6853118756b717d244f","datavalue":{"value":"1568522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$DF633C27-CD90-4457-826A-B98E41418C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607356125b7d2e11e525c4b7e77404dfa990c0e3","datavalue":{"value":"Cauchy sequence of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$E73A712B-4B8F-4420-B764-129A501DB012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ad0449d5250626a200a865b5b5a46132baa4be","datavalue":{"value":"monadic quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$843EAD70-C3D0-4829-99B7-7B96BB7A607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530055d0805cb1f7fb4a7b8b4fc89bc35be04ca5","datavalue":{"value":"pseudo-metric structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$EF035531-5218-4464-AFD6-10193BDE1EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958dd64877045f518ca478f3e7b2490ddd347c60","datavalue":{"value":"quantifier rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$9F1AB31C-DCD9-4AAB-A461-0ED514D6297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff1e9e2331ae813549e9248a87386cc755f969c","datavalue":{"value":"compact extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840986$CAC503EB-A1DB-4813-B663-8F7010C41466","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":"Q1840986$6BFFD448-DA90-481D-B0E7-BFC51B43EAAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f828d1514ce67ee34931d80e737b26849bb74045","datavalue":{"value":"https://doi.org/10.1023/a:1005286322113","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840986$3E70BA3C-B825-4732-A415-A07179413BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c14b7be4521f442c48f04d32d348497c8aeb1f","datavalue":{"value":"W1551010270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840986$B4BD1598-99F5-4B24-B918-91342E1A28A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21773c5c2e332a4d11a8fd3552ffc443191dd620","datavalue":{"value":{"entity-type":"item","numeric-id":3067425,"id":"Q3067425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bedab6b6559cc6942b601339ff43fd1695bf7e","datavalue":{"value":{"amount":"+0.7649909257888794","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":"Q1840986$6167DE92-778D-4A0E-A125-F1E8DBD9B081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a433f92e2587bd2e8caa6c1ff2f546a2adbabcc","datavalue":{"value":{"entity-type":"item","numeric-id":2366456,"id":"Q2366456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644a53f19f6830599e9ef6d075b382ce7b863328","datavalue":{"value":{"amount":"+0.7558394074440002","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":"Q1840986$532565B6-583D-4F74-8668-799895B7A35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f1fcd39a4feed18122600873b561dfe7a01dae","datavalue":{"value":{"entity-type":"item","numeric-id":3086700,"id":"Q3086700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25354ee344d518cefb53a3563c2bf5870bf66e70","datavalue":{"value":{"amount":"+0.7558392286300659","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":"Q1840986$B4DA7C7C-EB0A-4D75-A3E8-F11DDBFE5433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de86d2cdaf7efda777d8b2802b7c15545b6bfe45","datavalue":{"value":{"entity-type":"item","numeric-id":3734378,"id":"Q3734378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4b6ef9d1a2b8bdd3faf6350e214820a3d0df73","datavalue":{"value":{"amount":"+0.7551071047782898","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":"Q1840986$11174BAD-840E-4024-81CA-78775DD47A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830a540fe9b78c32bd704fb6a719a24c4af4d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":4835620,"id":"Q4835620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78c1cd52f8dd8304e2424065169ba3a6d733221","datavalue":{"value":{"amount":"+0.7498781681060791","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":"Q1840986$87211EC4-90DE-43F2-AF97-0247B48A04BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compactification of \\(L(Q)\\)","badges":[]}}}}}