{"entities":{"Q1079562":{"pageid":1090314,"ns":120,"title":"Item:Q1079562","lastrevid":66260514,"modified":"2026-04-12T08:36:22Z","type":"item","id":"Q1079562","labels":{"en":{"language":"en","value":"Atom-free ideals of constructive Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963815"}},"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":"Q1079562$BB305779-7ECB-418E-A295-565709114D59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"031468c115bf499700e892ecf65296025b14bacc","datavalue":{"value":{"text":"Atom-free ideals of constructive Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079562$687EC212-92B5-4051-9128-A4BA0412CEF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e9898d57f5318bd9b5ec4f496203ec0a360aa1","datavalue":{"value":"0598.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079562$D51E35E0-E893-455E-B3B4-68A1A9D5248C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"687697ffbc4fe5fd9c5b93ee32aea3cd9e1abd57","datavalue":{"value":"10.1007/BF01979865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079562$D6516EF5-7900-41C8-A720-CADB60B0B1BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079562$4CD3E1EF-B480-4881-932F-0A7C67569A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1079562$1F59BD0A-B102-46A8-9C0B-A8D6C4CAEE5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"165ac905073d1ed36f459d67014eed27f9348f43","datavalue":{"value":"https://eudml.org/doc/187270","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079562$16717A40-2A53-43F0-81CB-CD03AFA20A58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ba13fef02b6c4ae4f5ee12113d1e7cae5cdef44","datavalue":{"value":"A denumerable structure is said to be recursive if its universe is a recursive subset of the set of natural numbers and its relations and operations are recursive. A structure is said to be recursively presentable if it is isomorphic to a recursive structure. \\textit{L. Feiner} [J. Symb. Logic 35, 365-374 (1970; Zbl 0222.02048)] gave an example of a recursively presentable Boolean algebra \\({\\mathfrak B}\\) with an r.e. ideal I such that \\({\\mathfrak B}/I\\) is not recursively presentable. For \\({\\mathfrak B}^ a \\)Boolean algebra, F(\\({\\mathfrak B})\\) denotes the Fr\u00e9chet ideal, i.e. the ideal generated by the atoms of \\({\\mathfrak B}\\), and B(\\({\\mathfrak B})\\) denotes the ideal of atomless elements. A sequence of Fr\u00e9chet ideals is defined as follows: \\(F_ 0({\\mathfrak B})=\\{0\\}\\), \\(F_{\\alpha +1}({\\mathfrak B})=\\{a\\in {\\mathfrak B}:\\) \\(a/F_{\\alpha}({\\mathfrak B})\\in F({\\mathfrak B}/F_{\\alpha}({\\mathfrak B}))\\}\\), and for \\(\\gamma\\) a limit ordinal, \\(F_{\\gamma}({\\mathfrak B})=\\cup_{\\beta <\\gamma}F_{\\beta}({\\mathfrak B})\\). \\({\\mathfrak B}\\) is said to be \\(\\alpha\\)-atomic if \\({\\mathfrak B}/F_{\\beta}({\\mathfrak B})\\) is atomic for each \\(\\beta <\\alpha.\\)    The author shows that for each natural number k, there exists a recursively presentable Boolean algebra \\({\\mathfrak A}\\) such that \\({\\mathfrak A}/B({\\mathfrak A})\\) is not recursively presentable, and is k-atomic but not \\((k+1)\\)-atomic. It is further shown that for each atomic countable Boolean algebra \\({\\mathfrak A}\\), there exist \\(2^{\\aleph_ 0}\\) pairwise nonisomorphic countable Boolean algebras \\({\\mathfrak B}\\) with \\({\\mathfrak B}/B({\\mathfrak B})\\cong {\\mathfrak A}\\) if and only if \\(F_{\\omega}({\\mathfrak A})\\neq {\\mathfrak A}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$2E120599-C32D-4770-BD07-B70D771F3766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079562$203EAB9D-FE8E-43F0-A5CD-5588E658E150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079562$C05AD933-6C4B-45E8-B041-5E943168689B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3dcf81137ee524029f4fe80e7ddd32ba528da09","datavalue":{"value":"3963815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079562$3C2AEE46-8273-471E-A421-5588E6217435","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aabd56401e694d93042967a41e7fbd310893f0d","datavalue":{"value":"atomless ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$AC1388DD-7E51-4868-A356-F2BE4237DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d83898f22cbf0b861842820e911b4178f20e97e","datavalue":{"value":"ideal of atomless elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$86D01353-8C92-4CC1-9AEE-473F1A3F8503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0a3e340193956539ae7b4c7ddffb529be63929","datavalue":{"value":"Fr\u00e9chet ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$C2E4BB01-B69B-4E32-8C8C-25FDCD947625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111c44d1ca43d3201f8f7501341d60a64c0eac09","datavalue":{"value":"recursively presentable Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$5FB9C61A-59ED-4AE8-8C50-CF3B47427522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c2b93acdbea3f36abcef1dafe1cc3a94f27894","datavalue":{"value":"atomic countable Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079562$FC6FF8BF-5C04-43B1-9E10-E2DA6B817B29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079562$A093BFEB-130C-4593-935D-56C9D071AF05","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":"Q1079562$567FBBDC-4FFC-4580-95B7-8EDD567FF397","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218da70bdc53dcc1ef47aa802e2985d0e36b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5626636,"id":"Q5626636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079562$C6A1D95F-A2BC-4367-BC20-2AD0A09704AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397d740d5534b74eb0cd2636c9aa22c2ab9b60d","datavalue":{"value":{"entity-type":"item","numeric-id":3331215,"id":"Q3331215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079562$FF9D6983-D9CC-472E-AC6A-581FE9630992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076a77b7b1485f028ace29eab26563b190335da6","datavalue":{"value":{"entity-type":"item","numeric-id":3331215,"id":"Q3331215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d937863dddd744da45a06b543a632707af083a4a","datavalue":{"value":{"amount":"+0.8776752352714539","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":"Q1079562$E39847CA-77B0-42A1-8E29-210C4D1783FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad9920e85d98c08997ecfe2b7afb33f70b7b118","datavalue":{"value":{"entity-type":"item","numeric-id":3812230,"id":"Q3812230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a4fa5a308380c38b87d3950066928ad0da01c4","datavalue":{"value":{"amount":"+0.841118335723877","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":"Q1079562$E26DAD2F-A2E1-477C-9D96-0BCBD9F41358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fe68d1ad8e45bd0b61637ed9d0f5c1c60420c6","datavalue":{"value":{"entity-type":"item","numeric-id":4406590,"id":"Q4406590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d57ef717e385dcb2b076a6acaf6463d39a15996","datavalue":{"value":{"amount":"+0.8402828574180603","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":"Q1079562$B678E529-9FFC-4432-937D-DDB4EEA88553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262e9c6e84d8c4ffd6b210999bb1c399c8275a70","datavalue":{"value":{"entity-type":"item","numeric-id":4722062,"id":"Q4722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41643acf3158227d3056bf857f9538d7abd5ccb6","datavalue":{"value":{"amount":"+0.8269365429878235","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":"Q1079562$25A8F284-C636-47E0-A866-1DC282541C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c63b41d591ce10b04f2b225b2dbf40c3d0f717b","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d86edf7d35ff39ab1b35ef097ff251c56e3b05","datavalue":{"value":{"amount":"+0.8253445029258728","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":"Q1079562$59050D02-F0E5-4A07-9E9B-BA75844CFA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atom-free ideals of constructive Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atom-free_ideals_of_constructive_Boolean_algebras"}}}}}