{"entities":{"Q810001":{"pageid":811849,"ns":120,"title":"Item:Q810001","lastrevid":64543995,"modified":"2026-04-11T20:36:42Z","type":"item","id":"Q810001","labels":{"en":{"language":"en","value":"A decidable Ehrenfeucht theory with exactly two hyperarithmetic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212016"}},"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":"Q810001$45C94322-D4A9-49A6-AB4F-ECDD42AFC90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89814b6311150222af3a25870ede3ac08f15a3ca","datavalue":{"value":{"text":"A decidable Ehrenfeucht theory with exactly two hyperarithmetic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810001$16F3C7FF-6F4C-4602-B0E8-3A2AB02F33CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0832db9f73f1e13e2aa81cecef80239b57ab2d6","datavalue":{"value":"0733.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$593971B4-2EAC-48C6-BEF0-A76BFBFF0D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbb7267bf6dd231495347296d33640d6220c1c5","datavalue":{"value":"10.1016/0168-0072(91)90053-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$0703E5E3-98B5-4FE6-B984-93F14557D4D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e873ff207cb767c2249bd9d698b7b6a7568ec388","datavalue":{"value":{"entity-type":"item","numeric-id":810000,"id":"Q810000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$E61B5AC0-43F0-4D37-A38E-A4621F8FAD2B","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":"Q810001$474D5308-BDAD-4C0C-999A-CFFEF419D4F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q810001$7C1D5E8E-DCB9-4262-8308-D86E5D1D420C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25b6e509bddf5c6b5876bf66aa52ef4648fcf9e6","datavalue":{"value":"T is an Ehrenfeucht theory if it has finitely many countable models up to isomorphism and is not \\(\\omega\\)-categorical. T is persistently Ehrenfeucht if for every n-type \\(\\Gamma\\) (x) of T, the theory \\(\\Gamma\\) (c) in the language of T with a new constant c added is Ehrenfeucht.    This lengthy paper is devoted to a proof of the following theorem. For each \\(n<\\omega\\) there is a complete, decidable, persistently Ehrenfeucht theory T having exactly five non-isomorphic countable models: three decidable models and two models decidable exactly in the hyperarithmetic set H(n). By a theorem of Millar this is the best that can be achieved if a decidable Ehrenfeucht theory has a countable model which is not \\(0''\\)- decidable. The T exhibited is a theory of trees which is inspired by earlier examples of Millar and Peretyat'kin.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$BAC060D4-A42B-46BF-AC6D-EE55FDD8CCE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$AD6D3C25-4EA4-47E6-A187-C62395868507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$9346A43D-9F6C-4DFE-8905-548444E30B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$F53712D8-FD5C-46FC-B752-1A0C6F6F8BF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b45719a84409d30c848be0d66efc332127c03cef","datavalue":{"value":"4212016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810001$3F3A25D1-F01C-4A07-925E-4AB1EE3A4CB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55dbc3814951c41a1b3d8d1a4c6f49d72d29581","datavalue":{"value":"Ehrenfeucht theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$B88092FC-F412-428C-86AC-2DBB80F874C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603a9121b6d360c7de8dfa181b7cbda0fd2a43ec","datavalue":{"value":"countable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$D4DA2634-E72C-4197-AF28-71B4503C33B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56b56c9354b2e57a3aca6a2e1557ff36ce881bee","datavalue":{"value":"persistently Ehrenfeucht","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$FA3F0846-D677-4FEE-9DE0-0AC2F12811DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40a0d0101dc1820317a5d5ac8f390d8512ded80","datavalue":{"value":"decidable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$165F517F-A6A2-4C72-808B-71C6E83BCFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91797d99c225f1e0a65ffc66959435a3e71d290d","datavalue":{"value":"hyperarithmetic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$91071685-13AF-495C-82CD-6FB5F43EB64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d27ce7b2fd3b9541b6a7f612269a9e9bf02db03","datavalue":{"value":"theory of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q810001$B77BA557-E1E0-4293-9A96-23F743702622","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$BACEF4C0-3B65-484A-82D6-CAC2CC3FBBC8","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":"Q810001$DA31649B-63A4-4217-A01F-CE5B252E8435","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$7AE4FE02-BA32-4761-B720-3AFE4EC356DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$F265D561-8020-4DD6-BFC1-EE0691322BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb88aae38b1ec933ae901cba704b8bca7c5180d3","datavalue":{"value":{"entity-type":"item","numeric-id":3039332,"id":"Q3039332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$D3A63A42-F489-4FA5-A991-5583C61B4319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaa71e86909e649b3a899c0945687416da61190","datavalue":{"value":{"entity-type":"item","numeric-id":3690795,"id":"Q3690795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$B08A7221-A5D9-406A-8F69-DC4328785256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f489b3a7495b815c330f4e8f569bc6adf03839","datavalue":{"value":{"entity-type":"item","numeric-id":1214409,"id":"Q1214409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810001$C0E4B5D4-49A3-440D-9742-8AC77FBDC478","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":"Q810001$55D14110-AEE8-4096-B7B7-5719D9F8B0DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cab152b1da83dc7beb2bcba51fff532689348d","datavalue":{"value":{"entity-type":"item","numeric-id":3690795,"id":"Q3690795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f984052b2c95e9494f83ff2e85ed2b9b2caf5a70","datavalue":{"value":{"amount":"+0.8457218408584595","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":"Q810001$B8EA8E2A-307B-4C06-9927-2530BFC01FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539707d923e1f54437806e8bf9308116cadb82e5","datavalue":{"value":{"entity-type":"item","numeric-id":1943912,"id":"Q1943912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4680c4b7cb8c0614aeee525314f1f1d2f4a139","datavalue":{"value":{"amount":"+0.7862381935119629","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":"Q810001$DF6C5808-9F3E-4C94-9C37-9B7BF22B9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b7a979f112303cc955adbf71eeef485c4e60b9","datavalue":{"value":{"entity-type":"item","numeric-id":3824292,"id":"Q3824292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca03c5a73b07cd6c7fae405d24a5cc9dd598b53","datavalue":{"value":{"amount":"+0.7787314057350159","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":"Q810001$AA5DABAD-BF1C-4EE4-AA51-4173219B7C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39ac0c09154fae018087eb260062b21d4cb0ae9","datavalue":{"value":{"entity-type":"item","numeric-id":2277448,"id":"Q2277448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f59c203e4d168bcae4e454fa22a3e3b0554245c","datavalue":{"value":{"amount":"+0.7767353057861328","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":"Q810001$495164B6-02AA-4A45-8B3C-F7B4746A5945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649e1d7d1dff7d1171b263f10934f4731a60f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3546079,"id":"Q3546079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7e4253e249fc95956ada3150924216e6bd60ad","datavalue":{"value":{"amount":"+0.7624991536140442","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":"Q810001$76597011-556F-4C78-91B1-3089E205EEEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable Ehrenfeucht theory with exactly two hyperarithmetic models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidable_Ehrenfeucht_theory_with_exactly_two_hyperarithmetic_models"}}}}}