{"entities":{"Q2714038":{"pageid":2724777,"ns":120,"title":"Item:Q2714038","lastrevid":47618770,"modified":"2026-01-02T05:53:41Z","type":"item","id":"Q2714038","labels":{"en":{"language":"en","value":"Definability of Boolean algebras in \\({\\mathbb {HF}}\\)-superstructures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603305"}},"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":"Q2714038$A9793383-7FA2-48E7-964D-E13DCDAF2C2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f873aa5ba9145b166690363e329a881f3f6bd8ba","datavalue":{"value":"0965.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714038$CF222C04-E8E2-4155-916A-49A8CA1FAC80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf469e7b855ca7619230495ef1b84bd1f301ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2714037,"id":"Q2714037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714038$6A75342D-E6A0-4CF3-908E-1644AEF9E980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2714038$73C28B37-9166-4897-974E-FCA42AD15712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a39b99deeda76bce756e2bd9402dffb35a1926fe","datavalue":{"value":"https://eudml.org/doc/187954","type":"string"},"datatype":"url"},"type":"statement","id":"Q2714038$0C8BE9A3-D8A7-4404-9CFE-927DE333269F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714038$4A5E9F9C-35DC-4E3C-BF61-B5E3A670EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714038$DB9F61C5-6B32-4B75-A431-C1648BC8F582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f93bed0ea7982c62a5a9b0888d7310369f4a244","datavalue":{"value":"1603305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714038$E74DE9F6-60F0-4258-9303-90C7C6B15BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714038$3ED7E6FA-2A80-4F30-BD7D-226BED85F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714038$8B0C859E-72D9-4151-BB95-F5BE80B38EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6490612819b815c2a4c2aa7f0bf597ef049e40","datavalue":{"value":"hereditarily finite superstructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714038$521890B8-AD7C-4EC6-BE96-F723561785C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203df6538cbda42cbff7282a73a0d23465d39cb8","datavalue":{"value":"definable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714038$7408F72E-B341-4668-BFBF-571F67D4AEB3","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":"Q2714038$14F1CAFE-84EC-4278-BDAD-82A9EE32480C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fbe9b09fa0a7f5eced95bd46dc6249862766a29","datavalue":{"value":{"text":"Definability of Boolean algebras in \\({\\mathbb {HF}}\\)-superstructures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2714038$19E53C41-CC6A-4A0C-9F6B-63561B2A21DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714038$8297BC8A-CC24-472E-A61C-0F62D004E6BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7bbc4a103129616d7e24879b6af07ef671ec736","datavalue":{"value":"Informally, a model \\(\\mathfrak M\\) of a finite language is said to be \\(\\Sigma\\)-definable over an admissible set \\(A\\) if there exist a \\(\\Sigma\\)-subset \\(B\\) of \\(A\\) and an equivalence relation \\(\\eta\\) on it which is simultaneously \\(\\Sigma\\)- and \\(\\Pi\\)-definable over \\(A\\) and there exists a 1-1 mapping \\(f\\) from \\(M\\) onto the quotient \\(B/\\eta\\) such that the sets \\(\\{\\langle x_1,\\dots,x_n\\rangle\\in B^n\\mid {\\mathfrak M}\\models P(f^{-1}(x_1/\\eta),\\dots,f^{-1}(x_n/\\eta))\\}\\) are \\(\\Sigma\\)- and \\(\\Pi\\)-definable over \\(A\\) for all basic predicates \\(P\\) of \\(\\mathfrak M\\); a similar property holds for the operations of \\(\\mathfrak M\\).NEWLINENEWLINENEWLINEThe main results of the article under review are as follows: 1) There exist an admissible set and a \\(\\Sigma\\)-definable model over it such that it is not definable with trivial equivalence \\(\\eta\\). 2) Assume \\(L\\) is a linear order which is definable over \\({\\mathbb {HF}}(B)\\), where \\(B\\) is a superatomic Boolean algebra. Then \\(L\\) has a computable presentation. 3) There exists a superatomic Boolean algebra whose Frech\u00e9t rank is not \\(\\Sigma\\)-definable over its hereditarily finite superstructure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714038$F0174C61-55E1-4236-B209-976BBA865952","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714038$78057FBA-310D-4237-8790-FD2B05E47939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8878beddb36e761cc27d95b27888a9999872a8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1307172,"id":"Q1307172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4211eb7bfe0fda6aa844a97bf6c378521110966","datavalue":{"value":{"amount":"+0.8321225047111511","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":"Q2714038$5A492B37-B97C-4548-9CD3-1991D0491264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fd28b09fbd51b68f838492e8cdb81d98f0291f","datavalue":{"value":{"entity-type":"item","numeric-id":1363950,"id":"Q1363950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a3572b7e43cadbfa557120ffc51f403efbb2b0","datavalue":{"value":{"amount":"+0.8305245637893677","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":"Q2714038$C166059D-70CC-4388-ADC5-7762FD22A7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b4d6452880c987645bcc0054d57524ecef0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1288078,"id":"Q1288078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae44fdd7e6cecff6c8f999911cfde16df241f97d","datavalue":{"value":{"amount":"+0.791899561882019","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":"Q2714038$087CDCDC-0A89-4315-A2D9-19B4942E7560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268c75ea3beaae76ea78c95547b19be3553b3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4664636,"id":"Q4664636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae44fdd7e6cecff6c8f999911cfde16df241f97d","datavalue":{"value":{"amount":"+0.791899561882019","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":"Q2714038$6D4CB719-A7DE-4EF2-94A6-E027A85D3F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34466567041bbec6481fa1f76691bbdf9ed59423","datavalue":{"value":{"entity-type":"item","numeric-id":4936678,"id":"Q4936678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc67012144de846a0734b59b7943da75ff04270","datavalue":{"value":{"amount":"+0.7729321718215942","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":"Q2714038$1E770034-7D03-41DF-B36B-C0815514ADAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2714038","badges":[]}}}}}