{"entities":{"Q1174505":{"pageid":1185254,"ns":120,"title":"Item:Q1174505","lastrevid":69801813,"modified":"2026-04-13T09:29:34Z","type":"item","id":"Q1174505","labels":{"en":{"language":"en","value":"The maximality of filters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8867"}},"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":"Q1174505$7B75D3E6-4FD9-4B50-A591-B35F673DDDAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"856a5aa4c59968690d374b7ba5864d2f47479d0e","datavalue":{"value":{"text":"The maximality of filters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174505$404C4912-1D29-46F4-85CD-BA448502ED61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d518c9208c1c799e20a873464121101a202f43e","datavalue":{"value":"0742.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$05016B79-4016-4BDD-9B42-0C3AE7F2F960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f9b2f5d674b49b5a9515b4dcb7cf64b78672a09","datavalue":{"value":"10.1016/0022-4049(90)90148-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$54DC76AD-39F6-4204-BA26-B789C1AD56C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c29bfeffd0022c798fdb10fc4d174f826b06950","datavalue":{"value":{"entity-type":"item","numeric-id":194951,"id":"Q194951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174505$0C41B688-1039-41F8-969B-6EAD044744E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174505$10A3E2E2-3459-478B-8640-532E876B7B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174505$3AEA8F81-54E4-4712-91EF-EEE0A7F98E30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ebf312cb36ab420fbc3f2aa1f2eff0668c3dad6","datavalue":{"value":"This beautifully written and interesting paper deals with constructive characterization of prime filters on a Boolean algebra and of prime filters on a compact regular locale, both in an arbitrary topos. As such characterizations are stated in terms of maximality of the filters in question, they could hold without the assumption that the topos is a De Morgan topos [cf. \\textit{P. T. Johnstone}, Commun. Algebra 7, 1309-1312 (1979; Zbl 0417.18002)] only if the notion of a maximal filter is appropriately defined. This is, in fact, the key aspect of this paper. Explicitly, a (proper) filter \\(P\\) on a Boolean algebra \\(B\\) in a topos \\({\\mathcal E}\\) is here said to be a maximal filter if it satisfies internally a condition to the effect that for any filter \\(F\\) on \\(B\\) containing \\(P\\) and any \\(a\\in B\\), the statement \\(a\\in F\\to(a\\in P\\lor 0\\in F)\\) holds. It is shown that for any Boolean algebra \\(B\\) in the topos \\({\\mathcal E}\\), the prime filters on \\(B\\) are exactly the maximal filters on \\(B\\) (in the above sense). In a similar vein, a result concerning the completely prime filters on a compact regular locale in a topos is shown. There is a connection between the proposed notion of maximality of filters and the De Morgan property of a topos: the proposed notion agrees with the usual if and only if the topos (in which both are interpreted) is a De Morgan topos.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174505$256DFF70-A0F8-4F5B-9B32-8BEDA59AC0AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$5780F916-B908-4282-B66B-971AEA2317CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$0ED60940-5AA4-49E6-99B9-694752E07F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$A3802452-9483-4135-83DB-A0118A9A284C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd4eb8a72700d3c63e59929e5d3b0573d8fcbca4","datavalue":{"value":"8867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$6F325B7A-83D7-41D5-9044-42AE045EA801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9240c0082acd51633d45aba276a0155da61a06","datavalue":{"value":"constructive characterization of prime filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174505$E85CF2F5-DB3A-44C6-8AB7-541B44D2B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174505$62E1D5EC-3AB9-4A09-A5B2-37BE2750012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"919e9625074b4b82f1882e34454fa52cc206e588","datavalue":{"value":"compact regular locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174505$839FB9CA-59F8-404C-8272-88CA95B49858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0234c8bd1d434410bb3bde3b417bbef742348b70","datavalue":{"value":"maximal filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174505$83569BB5-C4D1-4D55-B3B1-103E71DCF002","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fdecc80f99fbf552230f8d3e11da972845bea63","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174505$E3D98075-1852-491D-9A43-8A9A30CBD7C8","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":"Q1174505$8B3FEDDA-793C-47DA-9E2F-17B1F7D6B73F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66aa98b93c9c8531f05f6581de2c7e26426b80e2","datavalue":{"value":{"entity-type":"item","numeric-id":3207171,"id":"Q3207171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174505$885E61A1-4FD6-446D-8E5B-B391BDD229B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b325694a07ffe28021f0e3b85a5d47486f736a2","datavalue":{"value":{"entity-type":"item","numeric-id":3218278,"id":"Q3218278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174505$45D20A7A-BDF6-43B4-BECF-A972EDC41CA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2f413a75f8db40d4980b4d08f2f9f22004f814a","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90148-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174505$052EE877-E92A-4D7D-A943-EAD663006199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08921540759fe81f6dbe32f87c37121fce9d9e79","datavalue":{"value":"W2001917875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174505$DCD84280-4A49-48D3-A8D9-77D15B42C23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692662ea695ed45dadb03f8a1d0772e3e02b113b","datavalue":{"value":{"entity-type":"item","numeric-id":4728525,"id":"Q4728525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07aeb30ea3dac49f1dc6be0a173a549593f73d8","datavalue":{"value":{"amount":"+0.854169","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":"Q1174505$2A4828B3-5FCC-436B-BE9D-FB81693CAD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cf28069cf96f5814d1334fe305eb4efff6ae23","datavalue":{"value":{"entity-type":"item","numeric-id":4552734,"id":"Q4552734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4e8aa7d09f16d58b42266038f046ded70763b0","datavalue":{"value":{"amount":"+0.8165065","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":"Q1174505$7CAE6998-67FA-42B0-91C8-0DE3EE13DEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28144d1a91ae77608ebc71d5e145d80ad65e86a9","datavalue":{"value":{"entity-type":"item","numeric-id":1121977,"id":"Q1121977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605001dd9e9f14b49e6c22aa03b5a9ae213fb74f","datavalue":{"value":{"amount":"+0.7848844","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":"Q1174505$E1E8CA55-E529-47A3-AD5E-50D832FBD110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aca5e1094ff5f1e023930421eab7684cb24337","datavalue":{"value":{"entity-type":"item","numeric-id":3686761,"id":"Q3686761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5423ca4acfd0648bde9058e28caccf76b617fe2a","datavalue":{"value":{"amount":"+0.73315656","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":"Q1174505$EA3DB254-6F13-4ADA-BF36-D181179269A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e42fe23ec0767d6951b1dd02e10c7c0f8d3a74f","datavalue":{"value":{"entity-type":"item","numeric-id":2735383,"id":"Q2735383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b08a8113b12bc8c68c5c8d3fbe2f0f48177c99c","datavalue":{"value":{"amount":"+0.7122621","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":"Q1174505$A98E2626-7C89-422D-9F11-46B1506F71F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a001d007fa7a57ca1cd1e82e6e1e61682906f3d4","datavalue":{"value":{"entity-type":"item","numeric-id":5932794,"id":"Q5932794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8940bd207d242034b5bbc9e25bb4eedcb77dff02","datavalue":{"value":{"amount":"+0.70916253","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":"Q1174505$741D379D-52D0-4A2A-9112-EB4D2A052894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a00a5a02abc565e0b85f4dc18be6a25c2dc7d10","datavalue":{"value":{"entity-type":"item","numeric-id":3460148,"id":"Q3460148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7472b23508143b0d6c8791f1cb39f3cab02bfd25","datavalue":{"value":{"amount":"+0.7087389","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":"Q1174505$12A0F71A-5DC8-4392-ACA6-73D85D73A0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680d9b9870bb1fccc6ac00123ca6a45b989b776e","datavalue":{"value":{"entity-type":"item","numeric-id":409741,"id":"Q409741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174aa059110a1d073040f51055c3328fe95c0a91","datavalue":{"value":{"amount":"+0.70707095","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":"Q1174505$85644F05-A2C4-4196-9053-EB55923EA161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47de5f7a1139dd31192eee39f3e143a034350f4","datavalue":{"value":{"entity-type":"item","numeric-id":6050409,"id":"Q6050409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fa5e262237b2b6bc14780edd38d716c2f5c103","datavalue":{"value":{"amount":"+0.70634407","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":"Q1174505$FB7E6DD1-B17A-410F-B36A-637B3626D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b227bd552ab5764592ee6c456cc9af6e40fb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1414050,"id":"Q1414050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71aab853428df3dc89fcf218bed317ec361ebbed","datavalue":{"value":{"amount":"+0.70555484","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":"Q1174505$16AD379E-5573-440A-964E-5BDE25E3150C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The maximality of filters","badges":[]}}}}}