{"entities":{"Q1093629":{"pageid":1104381,"ns":120,"title":"Item:Q1093629","lastrevid":66952899,"modified":"2026-04-12T13:56:58Z","type":"item","id":"Q1093629","labels":{"en":{"language":"en","value":"Maximal theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023254"}},"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":"Q1093629$CC94BA51-0086-47C3-9CE8-3DAFB997364A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcd0df3bd87fdf39b12c3a81b7f9b8fe4e45c947","datavalue":{"value":{"text":"Maximal theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093629$327768B4-D797-4F70-ACF9-8B0DEED71B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9430285b76ff5c95e10e465b1f5d132b2b9246a8","datavalue":{"value":"0629.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093629$95B2DFD4-93CC-4AB7-8FB6-A3E16FD4E679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d1b5e0d8a3ec96f515c245c44da442e4ecaf519","datavalue":{"value":"10.1016/0168-0072(87)90083-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093629$F1A5EB4E-1710-4DF8-B0BB-58A46A2B2D67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$6BD69205-F193-45FF-9867-34320C0EE7E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1093629$BCC16162-0AAE-4FF4-8EEA-2B167309950F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e456613b324d7e1311122e64604e0a66149f289","datavalue":{"value":"This paper studies the concept of ``maximality'' in the lattice L of r.e. theories of proportions based on a fixed recursive set of literals \\(\\{P_ i:\\) \\(i\\in \\omega \\}\\) (or equivalently, the lattice of r.e. ideals in the recursive copy of the countable atomless Boolean algebra). \\textit{D. A. Martin} and \\textit{M. B. Pour-El} [`Axiomatizable theories with few axiomatizable extensions' J. Symb. Logic 35, 205-209 (1970; Zbl 0209.012)] constructed an r.e. theory T with few r.e. extensions: that is T is essentially undecidable and all r.e. extensions of T are principal over T. In fact, their T was also constructed as generated by \\(\\{P_ i:\\) \\(i\\in A\\}\\cup \\{\\bar P_ j:\\) \\(j\\in B\\}\\) for suitable A and B. We show such theories can exist in some but not all r.e. degrees, and they can have low degrees. Subsequent work of \\textit{C. G. Jockusch}, \\textit{M. Stob} and the author [``Array nonrecursive sets and multiple permitting arguments'' (in preparation)] have shown that such T occur in exactly the ``array nonrecursive'' degrees. The paper also studies other concepts of maximality in L and also in L' the lattice of r.e. sub-theories of a fixed deciable complete theory. The techniques are of course algebraic priority arguments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093629$72594855-7D3A-49F4-BD3F-1E6F1E1D1072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093629$8D06C902-71E2-400C-A375-B05D56AE6261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2545ad5b15c6348138619ac8b61846104d14faff","datavalue":{"value":"4023254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093629$8EDE6FD1-2DCC-44A4-9B78-A7E917CD066E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f173e698b23886dc8cdc1044ad8bda3e429356","datavalue":{"value":"maximality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093629$7E36C336-88BC-4BD0-932E-366A591A881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584f87dede15321f436c9b2fc7e4f9dca78670a7","datavalue":{"value":"r.e. theories of proportions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093629$5BFE2FC1-0E72-4582-967D-FA5DB5E85CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97525e285ff65c2c932be4b3b58c985283f14a76","datavalue":{"value":"r.e. ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093629$87805E62-9CB4-4E13-8D5D-C4A6E424C35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750c2be5c826e288b4a406b0dd61855349793bd2","datavalue":{"value":"countable atomless Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093629$37F82E4D-1688-4DD7-9FE8-95D3DD576B46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$1DD51A0C-672D-478E-BEE7-01B28B5CE072","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":"Q1093629$8FDA1023-1A44-4AFE-A450-E0F3DCAFB788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cadd4c0fe53f470cd44dd98e02aa5bd21784c5df","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90083-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1093629$05B79685-A48B-4D0C-9E90-B71BE83492E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a672896b228223f6c0f339442acec2b456696fec","datavalue":{"value":"W4210249189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093629$D58AB6C6-DDEC-4E90-9E96-8C0CA3A5D730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"543b2c984c80c17be593c9ce40813218dbdf818e","datavalue":{"value":{"entity-type":"item","numeric-id":4748133,"id":"Q4748133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$7AE29553-5A7C-49B8-B897-77C02633F65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b255eb9965cfb7ce74d759348f6f8f178cefad","datavalue":{"value":{"entity-type":"item","numeric-id":3041180,"id":"Q3041180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$8F0FA201-D463-4AC9-A564-0465B89B55EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e3f02018695fd7e184a1ef74211193d7a49b6","datavalue":{"value":{"entity-type":"item","numeric-id":3689174,"id":"Q3689174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$334FCD22-8FB5-4432-8566-AB205D67F4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee4b360909e8e61de177fd3ff2fe1467912b25e","datavalue":{"value":{"entity-type":"item","numeric-id":3041179,"id":"Q3041179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$7C7247FD-560D-4240-8CC3-E1D585757AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19414b7dec59d884382f4d1d9ed911e82fa1c401","datavalue":{"value":{"entity-type":"item","numeric-id":3701412,"id":"Q3701412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$08E99655-DD46-4388-A1DD-5D648BFE98F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888d17772bd2fa11711e44c8a924941d9dffc425","datavalue":{"value":{"entity-type":"item","numeric-id":3701408,"id":"Q3701408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$E2C07800-3109-42DB-8F6B-63723D36234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1629f4a9737efc618f014e2b386c4e7586afe02c","datavalue":{"value":{"entity-type":"item","numeric-id":3665086,"id":"Q3665086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$8ED23925-D300-492F-B031-1493CF03D114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7880af521fd4278354036afff1d79df38a239749","datavalue":{"value":{"entity-type":"item","numeric-id":3659772,"id":"Q3659772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$71203B97-C113-4AC6-B04F-6D8E64324B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$6EB6866E-C3F2-4E0D-93C9-D9BF95944234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$855CF9A8-C783-43C3-9DFD-5FB1011361DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7039ce1a41f3b0c4f4e36248ae9d3fb4d1cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5571699,"id":"Q5571699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$ABE1CB84-94F5-4422-9E22-001C209C65BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0d8b3288b24a298f11876500910ff2d82e70f","datavalue":{"value":{"entity-type":"item","numeric-id":5609359,"id":"Q5609359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$6A0BA687-2424-4961-8F97-5ED48B9E0D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327810ed454f2bd6eff2faba0ebae46a09c1cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4063426,"id":"Q4063426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$99D4EA25-12C1-4549-A5C6-E5B58CD6DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a3bc595453799a95815c19e73d118fa61795f8","datavalue":{"value":{"entity-type":"item","numeric-id":4170711,"id":"Q4170711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$B1D2EFBE-C766-41C6-9D7C-BEB5EE5972CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f46f6100fbdff135e7d0a80b82918fd66f4a54","datavalue":{"value":{"entity-type":"item","numeric-id":4200050,"id":"Q4200050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$9D6E723D-373D-4977-AE29-297BC98620CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25043117a9b76e1f9a270bbdba48a8ca00282710","datavalue":{"value":{"entity-type":"item","numeric-id":3924186,"id":"Q3924186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$EBA96537-C84B-4AE7-B260-7D8BBAB42244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$39368A2B-0552-4DC7-8289-3694DE59C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc74e319c9c70b4c00697c697375a2f30976ac9f","datavalue":{"value":{"entity-type":"item","numeric-id":4094861,"id":"Q4094861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$84D43249-D267-48F5-9BD4-EB029DD3003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093629$08648469-38D2-4CB5-9170-CDAA85FFC0BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b6d9606a5fe833e114a3602cc01994d2ad606e","datavalue":{"value":{"entity-type":"item","numeric-id":4844514,"id":"Q4844514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db0c7e09793aafe1d907433911ce28a114ed311","datavalue":{"value":{"amount":"+0.790433406829834","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":"Q1093629$47753573-312B-4941-BD0D-E601F3032355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7608aea8ff74f57cc6cc652c7cbcb9b9ab0315d9","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d13a355d329ecfe09222e71f035c6926ff71e3","datavalue":{"value":{"amount":"+0.7847809195518494","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":"Q1093629$19DAC0D6-A528-4587-8C2A-2AB1213FCAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd648300088313bd237059ac53969da2f76cca63","datavalue":{"value":{"entity-type":"item","numeric-id":3985086,"id":"Q3985086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25f65a7f8678ce81d04acefa36696ea20842b81","datavalue":{"value":{"amount":"+0.7721571326255798","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":"Q1093629$70FB08D6-B9CD-4841-92C0-BF5DB3B1CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3fe54eac383b6be0bbb4d7cb1f3aabbfdf724d2","datavalue":{"value":{"entity-type":"item","numeric-id":5752560,"id":"Q5752560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882828846b0c97838590befbca525a2bddc0bb36","datavalue":{"value":{"amount":"+0.7704376578330994","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":"Q1093629$3B6A02F1-BDCC-4685-A9CD-5BAAEE4BB0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d281d9c11971615bc2b4ee6f87f5477e48a09","datavalue":{"value":{"entity-type":"item","numeric-id":1071761,"id":"Q1071761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd2d03a8acf551ef07dacdaed50f8549d205922","datavalue":{"value":{"amount":"+0.7693700790405273","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":"Q1093629$E8A32367-9C21-4E4F-B188-290C3C9EFC9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximal theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximal_theories"}}}}}