{"entities":{"Q646861":{"pageid":648710,"ns":120,"title":"Item:Q646861","lastrevid":63277296,"modified":"2026-04-11T11:47:48Z","type":"item","id":"Q646861","labels":{"en":{"language":"en","value":"The lower neighborhoods problem in a space with closure and a finitary theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5975446"}},"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":"Q646861$4284E6E2-7A18-491B-B051-91D730901DA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e14f6ee8dbc984f5634aa92893df79c8b2de725","datavalue":{"value":{"text":"The lower neighborhoods problem in a space with closure and a finitary theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q646861$A7815D08-AA92-4D1B-9921-2D6446E28B66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45427ec40365b44d147a9b6b44a6fff1a534c896","datavalue":{"value":"1232.54010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646861$9C63F386-C257-4083-A2D0-D887CFFAE5D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00512b5ffbc35f9d4865271bc82b478f6ba9a3b8","datavalue":{"value":"10.3103/S1066369X11020071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646861$B1D606C0-1914-477C-BC89-CB27E873B0A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36d42e2d086fdd7fa1a061eb429764b9ae0aa38a","datavalue":{"value":{"entity-type":"item","numeric-id":646860,"id":"Q646860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$F3182C88-8031-41D7-B6E9-6B5DE450A4D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$FB650B60-18CA-4447-8945-C6FE58B85AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad3cf5e03c7c7dcca817e16f4a3ccc32cf28435","datavalue":{"value":{"time":"+2011-11-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":"Q646861$518B0BE8-14B9-4A30-864E-35AB986E64A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98a7236701a01e7a9dff6d3f1924513adabe54cb","datavalue":{"value":"Recall that for a non empty set \\(P\\), on the family \\(B(P)\\) of all inclusion ordered subsets of \\(P\\) the closure operation \\('\\) can be defined such that for subsets \\(A, B\\) of \\(P\\), \\(A \\subset A'\\), \\(A'' = A'\\), \\(A \\subset B\\) implies \\(A' \\subset B'\\). By a space one means a set \\(P\\) with a closure operation i.e. \\((P,')\\). A space whose closed subsets are all possible subalgebras of some universal algebra is called finitary. A family \\(S\\) of closed classes in a space \\((P,')\\) is called a lower neighborhood of a set \\(X\\) if for any set \\(Y \\in B(P)\\) the inclusion \\(X \\subset Y'\\) takes place if and only if the family \\(S\\) contains no family that includes the set \\(Y\\). In this paper the author studies conditions under which all finitely generated subsets in a space have finite lower neighborhoods. He also proves the finitary property of such a space. In addition he states the Birkhoff and Frink finitary theorem more precisely.","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$3325DB7B-C96A-4A13-8075-57981FE192D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646861$84A0CDDC-717C-4ADE-B177-C3C0B8719E0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a238c7baf675cc8666bf002547de526c9d2a33b0","datavalue":{"value":"5975446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646861$3B25D76A-EA36-4F0A-9D73-E4630EA0C798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd4a701b7e4412bc8637867fb17ea2316c27608","datavalue":{"value":"Space","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$9EFA8220-9A42-425C-9708-0D6EBE95839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fff9575521b7ca8fc996e01f8ba0c6bf09e1d","datavalue":{"value":"closure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$3DF63BFC-C14E-4AC8-8AD8-8DCE8C7A1FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae70bae3e88a7f68ba1a997c8b1a621bb3a40f1","datavalue":{"value":"closure property of finite character","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$62BF9BDE-34B0-4B45-BEC9-F3B6E5F114F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c196a8cc0cac73ac8e21f82dc87efc474a65bb08","datavalue":{"value":"completeness problem, expressibility problem, finitely generated classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$D122FC0F-6BF0-4D93-94EA-3FA705B9A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdabe311fe92cc49a418c62c3c6532d83a2f0b4b","datavalue":{"value":"lower neighborhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q646861$06AB79DE-F481-46E1-8667-E530C740408B","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":"Q646861$B9B605AD-84E3-42E2-AB06-D121878629BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8583e6e7bdf1d2d8d1e3e2241eab97eeaa938885","datavalue":{"value":{"entity-type":"item","numeric-id":5732660,"id":"Q5732660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$15A70651-9E14-41A2-B9D2-4D06843C3342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2ccf4fcd9d3d38026f2030849919c4cd7e8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5788423,"id":"Q5788423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$C6DB6CA4-50F2-4BBC-AB63-8A5CBBBF0821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96965e4b24de2b00663d74df6a735a9ed88bcae","datavalue":{"value":{"entity-type":"item","numeric-id":5613923,"id":"Q5613923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$077A84AD-CC8B-4883-BC4A-BB509209DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d522188738cd6221ed6da4c1af640c8cda5fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5476781,"id":"Q5476781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$51C14B2A-7D77-4794-8F23-1E6B4E67D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebb99326e09bacc7ebbefa21d82abbed7e0c385","datavalue":{"value":{"entity-type":"item","numeric-id":3115671,"id":"Q3115671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646861$FF907F61-0EE5-4AEA-AD38-F6BAEE94A3E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aefe444d01f12f099d19db8d9b7ecc44b6a69e8","datavalue":{"value":{"entity-type":"item","numeric-id":1100463,"id":"Q1100463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da2a921542234e353d6f26205f0b9bf755a9e00","datavalue":{"value":{"amount":"+0.728754460811615","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":"Q646861$7E46BC66-2840-4274-A65F-7C152FA4735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a2c47d60986f468271e696fb36c5c8238507ef","datavalue":{"value":{"entity-type":"item","numeric-id":545500,"id":"Q545500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6720d1c3e7a4d1c26ed5024f722b1f78d1db42","datavalue":{"value":{"amount":"+0.7148541808128357","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":"Q646861$0CCFE287-0173-404F-8356-4E1A92C38627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294eeab190361a7b9f33b95752063aa5ca841eba","datavalue":{"value":{"entity-type":"item","numeric-id":2997860,"id":"Q2997860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2956db206bda0bf95efdbf3ebb3b800b4bc0b3","datavalue":{"value":{"amount":"+0.7052348852157593","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":"Q646861$02EFF40F-8C4B-4899-969E-80351B9B839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2052fba76ac9ae873acc0ec055d0b8be478a07d5","datavalue":{"value":{"entity-type":"item","numeric-id":790123,"id":"Q790123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ae891db05e0211a111ffac3ac6f8ca25d915a3","datavalue":{"value":{"amount":"+0.6992686986923218","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":"Q646861$C45A8FE5-9470-4726-8660-F59240830022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de891e2d70f8d3249676eff0687d9968dba0819","datavalue":{"value":{"entity-type":"item","numeric-id":5319361,"id":"Q5319361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0d7faedd2f0052eb33efa9dad6445e84db22e4","datavalue":{"value":{"amount":"+0.6992109417915344","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":"Q646861$748D268F-A41A-4B58-A4E2-EEF001126614","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lower neighborhoods problem in a space with closure and a finitary theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lower_neighborhoods_problem_in_a_space_with_closure_and_a_finitary_theorem"}}}}}