{"entities":{"Q796520":{"pageid":798368,"ns":120,"title":"Item:Q796520","lastrevid":64525707,"modified":"2026-04-11T20:28:25Z","type":"item","id":"Q796520","labels":{"en":{"language":"en","value":"A topological characterization of \\((\\lambda,\\mu)^*-compactness\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865255"}},"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":"Q796520$CC9DA73B-8E89-4295-AD51-195ABB237C1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bdeccf748bb8b019160306fa7025463fded2e7","datavalue":{"value":{"text":"A topological characterization of \\((\\lambda,\\mu)^*-compactness\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796520$9D934170-C913-4045-9D51-8EB4A013DEDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"491e674b5c218c6d4099a5e0535a4ab5a088b20d","datavalue":{"value":"0544.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$5AB71B71-4E15-4F02-B2C3-3AF4C05766F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4aafafce0071f2dc138b4ca1b82f8b9d150e244","datavalue":{"value":"10.1016/0168-0072(83)90022-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$F8C1C63D-D0E7-47C0-821F-994255C3D222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f32a21872bbb087a0758a31f05b2a253b7370c3","datavalue":{"value":{"entity-type":"item","numeric-id":579960,"id":"Q579960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796520$7E43B1D4-3233-4790-A729-67D6EDEF8E8B","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":"Q796520$7DA97225-973D-4127-AC13-1989452A326F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q796520$F3E84283-018A-4ECD-B4B9-01E88C183190","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b619aa3ed5024481457bc7f6f982fa6c79da75d","datavalue":{"value":"The author proves a very interesting result that relates \\((\\lambda,\\mu)^*\\)-compact logics (i.e. [\\(\\lambda\\),\\(\\mu]\\)-compact in the sense of the paper by \\textit{J. A. Makowsky} and \\textit{S. Shelah} reviewed above) to the topological (\\(\\lambda\\),\\(\\mu)\\)-compact model spaces. The author shows this for logics \\({\\mathfrak L}_ 1\\) that are closed under propositional operators and that can express sentences of the form \\(\\exists xP(x)\\), where P(x) is an arbitrary unary predicate. Recall that if \\({\\mathfrak L}\\) is a logic and L is a vocabulary (i.e. a language) for \\({\\mathfrak L}\\), then the class \\(X_ L\\) of all L-structures forms a topological space with the base \\(\\{\\{M\\in X_ L| M\\vDash x\\}| x\\in {\\mathfrak L}(L)\\)-sentence\\(s\\}\\). In this case \\(X_ L\\) is called a model space. (Note that we have assumed that \\({\\mathfrak L}\\) is closed under conjunction.) The author shows that for \\({\\mathfrak L}_ 1\\) and any vocabulary L, the logic \\({\\mathfrak L}_ 1\\) is \\((\\lambda,\\mu)^*\\)-compact if and only if the model space \\(X_ L\\) is (\\(\\lambda\\),\\(\\mu)\\)-compact, where \\(\\lambda \\geq \\mu\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q796520$39285639-FFB2-40EB-91E2-3B6A751FB659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$93C57D58-B23A-40BB-A19B-23A64BB7B55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$04EB5BD0-15A5-431B-BBCC-072EDD215DC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"febb0db0f104f5230a5736b50356871e5c5f9c60","datavalue":{"value":"3865255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$102FF023-0A00-40A7-BC9B-1EE147850894","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8fea60379663089fda55c8b844ac9d4ca687a9","datavalue":{"value":"topological compact classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q796520$BC718C96-BD61-4936-8C6C-FD1E4EB14A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64301e7961eb15fc2b1aeff2f723133517c45a7c","datavalue":{"value":"compact logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q796520$EFA2F771-2675-4599-B7DC-6A6F0001DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b766c9052decf28a1507624d39871843ef713569","datavalue":{"value":"model spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q796520$D9FC0BC4-769E-4541-B8E9-59988D44787D","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":"Q796520$12464545-61F7-4E5C-AC70-65458C8E41DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a84667a4cdb7983c064cd099b7ac2925cdad7853","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90022-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q796520$4638CD2E-8883-474F-81CE-F047D5B9308C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7a6be9f0721dfb80cb99fd08bb910e7c084b04c","datavalue":{"value":"W2031372618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796520$2D7EAF92-B1F2-4B26-B1C7-F107923D1CEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89a49abc8449f88c35cc5a01cde8fd7a1924de3","datavalue":{"value":{"entity-type":"item","numeric-id":3864498,"id":"Q3864498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796520$F453E7BF-473F-417B-BDA5-90CE4480904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d25f501ae0e62131892a297c198637837b3c24","datavalue":{"value":{"entity-type":"item","numeric-id":796519,"id":"Q796519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796520$AB2754B0-84A0-469A-84D2-44669F958554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e8ee9899247ff9ad8dd5ba8e7de0a046303bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4064680,"id":"Q4064680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796520$61BC9A02-01D9-42C6-817A-78126DFC66B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9077a5ccf882e47516554e8bdc9c91f2ac4117","datavalue":{"value":{"entity-type":"item","numeric-id":4941994,"id":"Q4941994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c458a26a4a31d72baeb9ae91fbf6642e1abfcf1","datavalue":{"value":{"amount":"+0.79419804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$A66B03BF-32EC-42F7-8CFE-F19F5AD727A8","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":"bc4c367e3f3e1496c53f85d9cc21392cb5d1800c","datavalue":{"value":{"amount":"+0.7725229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$E684952C-BF36-40DC-AD19-4EE013480CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9596cbbefc68619550153e455c3caa19b84d9d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3808081,"id":"Q3808081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cbcf6dc681df9eb4d937f9720949497c7254d6","datavalue":{"value":{"amount":"+0.75044096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$10F808BF-EB6E-4A34-BE48-B69A4D5D137F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c1069cbd1ea91b1006384869b5ec71de79a632","datavalue":{"value":{"entity-type":"item","numeric-id":1208083,"id":"Q1208083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4fd9b5b792175f0d81fafdd552e3c5d025fbd6","datavalue":{"value":{"amount":"+0.70170087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$3EEEE49C-3201-4FCF-80A2-7C5C6030115C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a13b9499d6f65298e0d5cc6c2b3ee1bb972692d","datavalue":{"value":{"entity-type":"item","numeric-id":4395561,"id":"Q4395561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fcdc0c62691231c35c389631a7a9cb19c348c2b","datavalue":{"value":{"amount":"+0.7004193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$E7FBAD20-8158-4B4E-AF82-B215F352AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e33d9c573791e976c7b8bd22a46d50129ec0e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4834551,"id":"Q4834551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffebaccfd941c0d269e2f63dea24924697e43730","datavalue":{"value":{"amount":"+0.6975424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$8B57DFA0-9178-4428-A03C-52DFF6DD78B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da461e5d2405388655d28a7fbce9875aa5daf12","datavalue":{"value":{"entity-type":"item","numeric-id":5096171,"id":"Q5096171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71466d064e59c1c7b7efdb32a3ce11addcc4954d","datavalue":{"value":{"amount":"+0.68249094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$B43ECF32-A48A-47BA-90A2-3F4FC8957A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e89bf1cea9c1f2dc8042ec88fc8dd860b6e3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3211288,"id":"Q3211288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6270c4d289e9140afbd9202708d14d1543e9e93e","datavalue":{"value":{"amount":"+0.67282796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$8CF68C64-F33B-48E7-93BA-C269EDD36182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b95f16d145b138bde9234888094fd9237a9e149","datavalue":{"value":{"entity-type":"item","numeric-id":4283634,"id":"Q4283634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784e9ecfe959860b732cdc39b3c8cad128532f6b","datavalue":{"value":{"amount":"+0.67095166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$4753F588-6D1E-4086-86CE-3E8977B56F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed980e8b350a06ce0a36bdcc49ea1eae4889e30","datavalue":{"value":{"entity-type":"item","numeric-id":3812223,"id":"Q3812223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b90d67b9458de50c692b43acd44f3f95b14133","datavalue":{"value":{"amount":"+0.6634669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796520$98896E47-5225-4A7A-9E85-DBDCA70154E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A topological characterization of \\((\\lambda,\\mu)^*-compactness\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_topological_characterization_of_%5C((%5Clambda,%5Cmu)%5E*-compactness%5C)"}}}}}