{"entities":{"Q800922":{"pageid":802770,"ns":120,"title":"Item:Q800922","lastrevid":64472334,"modified":"2026-04-11T20:06:35Z","type":"item","id":"Q800922","labels":{"en":{"language":"en","value":"On certain lattices of degrees of interpretability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878923"}},"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":"Q800922$4BFF3CCF-FACD-4B8D-A1C8-911BA3ABA273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8178b59aea21b5751e47380d454c04893bc44446","datavalue":{"value":{"text":"On certain lattices of degrees of interpretability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800922$355B4C93-103D-4120-B085-18806A9E788F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82151a93600caafc7974f1a81db8d7df92b2478e","datavalue":{"value":"0552.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$0DE5C50B-CAAA-4CE8-970F-D96F29F0C0DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800922$646215DA-6509-4FFA-A80A-78B0E326A953","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":"Q800922$103CE1AA-28AA-40D2-A828-AA7533AF072D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae6f9ed038b902811a0accdb2a32a0c18290dae1","datavalue":{"value":"This paper contains a systematic study of interpretability degrees of essentially reflexive extensions of PA. Almost all results are obtained by means of sophisticated variants of Rosser's trick.    As the number of results is considerable and some of them are rather complicated, I shall only mention the simplest ones. Let T be any r.e. essentially reflexive extension of PA, \\(\\equiv\\) denote mutual interpretability, [A] denote the equivalence class of A modulo \\(\\equiv\\), \\(D_ T\\) denote \\(\\{\\) [A]: A is an r.e. extension of T in the language of \\(T\\}\\). Furthermore define \\([A]<_ T[B]\\) iff A is relatively interpretable in B. The author proves:    1. \\(<D_ T,<_ T>\\) is a distributive lattice.    2. \\(<D_ T,<_ T>\\) enjoys the ''diamond'' property: for all \\([A],[B]\\in D_ T\\), if \\([A]<_ T[B]\\), there are [C], [D] such that \\([A]<_ T[C]<_ T[B]\\), \\([A]<_ T[D]<_ T[B]\\), \\([C]\\vee [D]=[B]\\) and \\([C]\\wedge [D]=[A].\\)    3. \\(<D_ T,<_ T>\\) is not pseudo complemented.    4. Let \\([A]\\in D_ T\\), \\(G\\subseteq D_ T\\). If \\(\\bigvee G\\) exists, then \\(A\\wedge (\\bigvee G)=\\bigvee \\{[A]\\wedge [B]:[B]\\in G\\}.\\)    5. T is not \\(\\Sigma_ 1\\) sound iff there are \\([A],[B]\\in D_ T\\) such that \\([A]\\vee [B]=1\\) and [A],[B]\\(\\neq 1.\\)    In my opinion, the main problem, not solved by the author, is whether for any two \\(\\Sigma_ 1\\) sound essentially reflexive r.e. extensions S, T of PA, \\(<D_ T,<_ T>\\) and \\(<D_ S,<_ S>\\) are isomorphic. A positive answer to this problem would probably lead to a characterization of \\(<D_ T,<_ T>\\) for \\(\\Sigma_ 1\\) sound T. This problem, however, looks very hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800922$57C5073F-98D9-4B55-88AA-E2B810D41D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$65E46B4F-DD26-405D-B74F-1E5E8CC5DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$2C4407A1-0913-4416-8D21-3F2C9EB0E125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71e26c705c77ccfc4d8efc10cb2f92f3915f24be","datavalue":{"value":"3878923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$F0001DEA-B898-47B7-B7BA-064835680202","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59931ce62ba69ebf7a286eca53c9f366842f73d4","datavalue":{"value":"essentially reflexive extensions of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q800922$7ED87F3E-AA08-4AAE-9046-88EC9684FA70","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":"Q800922$7F39D420-FE09-4DC3-9612-C3FD99A5EEB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ec00126a8a6d3be86a15a2b0b6b7e9a8793647","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870573","type":"string"},"datatype":"url"},"type":"statement","id":"Q800922$4F4F8DD3-81BF-4B69-935B-51CE2DD40BA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7adc37bdcc3106875339a971acc69ccbe626e34","datavalue":{"value":"W2021219421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$A3A6F1B5-4EFD-4DDA-BDA8-50244439B3A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15d0781f2706f0b4795ee16e472b03b8bcb98d3e","datavalue":{"value":"10.1305/NDJFL/1093870573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800922$248EBA12-AE1E-4B16-B0B9-24A74EE6192A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800922$B22E7A92-FEF3-4E49-878B-8A5B9FF0229C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30c09a41f7cc927c7fec37797d53902aad86ddb","datavalue":{"value":{"entity-type":"item","numeric-id":685078,"id":"Q685078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2333dd291e8d2c463b533fb57649af77e27cb5","datavalue":{"value":{"amount":"+0.8396449685096741","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":"Q800922$DE15AC14-C17E-4431-92C4-035FDAB70EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd2a9cc7afb2427baa828a682b4aaeb499651a3","datavalue":{"value":{"entity-type":"item","numeric-id":3794148,"id":"Q3794148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404a2109ff257385232f7846ec22ea86d3d0a94e","datavalue":{"value":{"amount":"+0.8386929631233215","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":"Q800922$A8DB788E-EC85-4477-A9E1-149E66B776F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94cb41956a17dd9572570c1b36b376a64fc9aec","datavalue":{"value":{"entity-type":"item","numeric-id":2402961,"id":"Q2402961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ea1ce3266bc09eb513ee6572b9afe98428745f","datavalue":{"value":{"amount":"+0.7851744890213013","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":"Q800922$D94F668B-2FFA-46D2-8570-91151B591298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3545aff16923152943b6a6952905a7d99a7b69cb","datavalue":{"value":{"entity-type":"item","numeric-id":3726109,"id":"Q3726109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6376dfdf2ee5e0177db4c60822375643b6f55ac6","datavalue":{"value":{"amount":"+0.7775611877441406","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":"Q800922$EF526BC4-A8B2-40B3-9041-EE6AFC39C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524e84b423c3797a39985bd11e5e1218a79750a3","datavalue":{"value":{"entity-type":"item","numeric-id":1095138,"id":"Q1095138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d513fcf3304c5413fdc9901f449c48b3ed3efc","datavalue":{"value":{"amount":"+0.7588582038879395","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":"Q800922$CAB36CD0-7A78-41A2-85E9-D3B75EA7392E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On certain lattices of degrees of interpretability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_certain_lattices_of_degrees_of_interpretability"}}}}}