{"entities":{"Q1076014":{"pageid":1086766,"ns":120,"title":"Item:Q1076014","lastrevid":66087147,"modified":"2026-04-12T07:27:50Z","type":"item","id":"Q1076014","labels":{"en":{"language":"en","value":"Elementary theories of free topo-Boolean and pseudo-Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952753"}},"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":"Q1076014$6DE4E049-84DD-4C98-83EB-EE59068A65A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0090d23ef33c6b024cd44ffb6520ae0f69c9f1a","datavalue":{"value":{"text":"Elementary theories of free topo-Boolean and pseudo-Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076014$0A1CD5F8-C6A3-4CE7-B982-E692315B8BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a5e1190c264a93ac0f40aa48888790b5ee1f20","datavalue":{"value":"0593.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$2723A240-0B65-4E94-8FD0-06A2BCB101E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f7f1ae2708f030ba3f345a5371f1e8dfd00b102","datavalue":{"value":"10.1007/BF01157678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$10408553-6EAC-45EC-9BE4-9A8A27F13780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$6A54BD1D-B40C-4547-AE1A-3C1D85639D5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1076014$373FFD9F-BD9C-4B44-868A-1661D8E32632","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1b9d52e376aa2079152664b0205649eb3a9211e","datavalue":{"value":"As is well known there exists a dual isomorphism between the lattice of extensions of the modal logic S4 (the intuitionistic logic Int) and the lattice of varieties of topo-Boolean (pseudo-Boolean) algebras assigning to a logic \\(\\lambda\\) the variety algebras var(\\(\\lambda)\\). (The algebraic analog of ''topo-Boolean algebra'' is ''interior algebra'' or ''closure algebra'' of McKinsey-Tarski.) In this note the elementary theories of free algebras of rank \\(\\omega\\) (denoted: \\({\\mathcal F}_{\\omega}(\\lambda))\\) from the variety var(\\(\\lambda)\\), where \\(\\lambda\\) \\(\\supseteq S4\\) or \\(\\lambda\\) \\(\\supseteq Int\\), are investigated. We introduce some class of (\\(\\infty,2)\\)-logics \\(\\lambda\\), where \\(\\lambda\\) \\(\\supseteq S4\\) or \\(\\lambda\\) \\(\\supseteq Int\\). Main result of this note is: The free algebra \\({\\mathcal F}_{\\omega}(\\lambda)\\) from the variety var(\\(\\lambda)\\), where \\(\\lambda\\) is (\\(\\infty,2)\\)-logic and \\(\\lambda\\) \\(\\supseteq S4\\) or \\(\\lambda\\) \\(\\supseteq Int\\), has hereditarily undecidable elementary theory.    The classes of modal (\\(\\infty,2)\\)-logics and of intermediate (\\(\\infty,2)\\)-logics are extremely wide. For example, the first one contains all modal logics \\(\\lambda\\) such that S4\\(\\subseteq \\lambda \\subseteq S4+\\sigma_ 2\\) or S4.1\\(\\subseteq \\lambda \\subseteq Grz+\\sigma_ 2\\), the second one includes all intermediate logics \\(\\lambda\\) such that Int\\(\\subseteq \\lambda \\subseteq Int+I_ 2\\). In particular, the free topo-Boolean algebra \\({\\mathcal F}_{\\omega}(S4)\\) and the free pseudo-Boolean algebra \\({\\mathcal F}_{\\omega}(Int)\\) have undecidable elementary theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$6FBE47D9-FF00-4FCB-9D66-A3C5EF51D092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$094D2797-EB95-4B07-AFFC-2747C7262425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$2CF487DD-2BE2-4B5E-82B6-6A7CDA410D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$71521F19-B406-4B70-9DDA-7F4ACDAC0C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$F750F6C5-9713-472F-A65D-C7BA02B03684","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3482bb73be5069e444a16b7eea252d3ace1fe3d","datavalue":{"value":"3952753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076014$1B063C52-83AD-420C-A8BE-FDBF8E78DCF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$99DDFAE3-CD45-4177-90C0-E7CD7D8C6000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$9C078D77-403F-4AF4-917E-4913FC4DFE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$A8E4EFB8-5659-461C-A5FC-9871D732D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$E508A7BD-1D57-4926-8F50-158DAA22EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17064b5ffcb387b16f0d896a7fad5d4248f9da8","datavalue":{"value":"topo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$78BB0A68-AB8B-43B0-8F87-163FD4CC9588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076014$F22D3CC5-F57D-4A01-83F5-4FC7096D2C89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$385707DC-0115-441F-B395-52FBC68B4F15","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":"Q1076014$D1A47D71-3ACD-4AFD-8A80-36552AB5C756","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$E3FD2953-7524-4D22-9A42-FE36F2FEB699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$A4735EDE-356B-44B9-818B-682A6728148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$17D98BAE-F7FD-40AB-89B1-5EBB1A8E4930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076014$088AA3EA-C258-4502-9006-1D5D4B314550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4367fcdd8be3dc9f1d30feb248c4d6293f9908cc","datavalue":{"value":{"entity-type":"item","numeric-id":1092029,"id":"Q1092029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf4c2f493f114648a88980ecbdc4a198ce0bbf2","datavalue":{"value":{"amount":"+0.857551634311676","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":"Q1076014$6E818F76-4B19-4F16-9817-65A391B715F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b138d39b9fc18108f4c5b456bc54da9d06bab02","datavalue":{"value":{"entity-type":"item","numeric-id":4875137,"id":"Q4875137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cefcfb8f8523b96ee20a2993f08c4e7bd023c2d","datavalue":{"value":{"amount":"+0.8331604599952698","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":"Q1076014$89CCFC6A-7F8A-4C7E-A925-CC5579B879EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd31e22c0f5f06801aa7f9cb68dd6775f75ba37","datavalue":{"value":{"entity-type":"item","numeric-id":3745885,"id":"Q3745885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c22ee96fe0f0a4cc8d46a6c4e63ae9ac672ab4","datavalue":{"value":{"amount":"+0.8202037215232849","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":"Q1076014$11BDEBFC-655D-4316-B4E7-4F0061A11B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba57963b9c567b75d06040b5e729b4e5924c4911","datavalue":{"value":{"entity-type":"item","numeric-id":4692873,"id":"Q4692873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ddaaffa0ee3a6d004be091c60f3245e84cd10d","datavalue":{"value":{"amount":"+0.7855244874954224","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":"Q1076014$128B06B1-CB54-43EC-B136-F860070F6436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25bc54f7a345db18f25bc82f52d939c281529c2","datavalue":{"value":{"entity-type":"item","numeric-id":4724632,"id":"Q4724632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc9a4d1293f9ecbd2fb9c94b52ab390cf3b1370","datavalue":{"value":{"amount":"+0.7828571200370789","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":"Q1076014$FDC5DBFA-64BD-4477-861F-2FACE44CD286","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary theories of free topo-Boolean and pseudo-Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_theories_of_free_topo-Boolean_and_pseudo-Boolean_algebras"}}}}}