{"entities":{"Q1307187":{"pageid":1317937,"ns":120,"title":"Item:Q1307187","lastrevid":70664742,"modified":"2026-04-13T16:02:19Z","type":"item","id":"Q1307187","labels":{"en":{"language":"en","value":"Once more on countably categorical sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1354012"}},"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":"Q1307187$4D5C8454-11EB-4014-A362-CF486BEFA368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17d9b58a489a84587cd1ae7be4c545469417fdb3","datavalue":{"value":{"text":"Once more on countably categorical sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307187$A92F045C-F3F4-496F-87D9-1653B27CF342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d76c042ea50e212a5638efe4486c3684d00223b8","datavalue":{"value":"0924.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307187$F6A93F6E-7B5A-4273-B39B-1D70B2F1A15C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307187$2E1AB63C-A449-4A33-BE67-24E7DE55C7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307187$DE92BA5D-B6B4-47C4-AF5E-F8EEA620453E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b20cdbc77a6ae4bc61be0b9c76428b6b27ab22e7","datavalue":{"value":"Countably categorical sentences of an infinitary logic are considered in the article under review. A set \\({\\mathbf{A}}\\) is said to be locally countable if \\({\\mathbf{A}}\\vDash\\;\\forall a\\neq\\emptyset\\) \\(\\exists f\\) \\((f\\:\\omega\\overset\\text{onto}\\rightarrow\\omega)\\). Let \\(\\mathbf{A}\\) be a locally countable admissible set, \\({\\mathbf{A}}>\\omega\\). It is proven that a sentence \\(\\varphi\\) in a fragment \\(L\\in{\\mathbf{A}}\\) is countably categorical if and only if all the types realized in models \\({\\mathcal{M}}\\in{\\mathbf{A}}\\) of \\(\\varphi\\) are principal in \\(L\\) whenever \\(\\varphi\\) is equivalent to a canonical Scott sentence. The author constructs an example of a sentence that is not countably categorical but only with a hyperarithmetic model. It is proven that the countable models of countably categorical theories which belong to \\({\\mathbf{A}}\\) are exactly all the models in \\({\\mathbf{A}}\\) whose Scott rank is less than \\(o(\\mathbf{A})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$5073FBA3-1255-4F21-AE51-20CF9B4D66FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307187$EBE77EC0-4B7B-4396-B09B-A24C36658979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307187$4C6B9439-97E4-4E69-8CED-66474BA27536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307187$95EFE1E5-D175-48A4-9D59-0F0F79269FE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e329cb13b0665f45327d6b747cc1716e9e9e3877","datavalue":{"value":"1354012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307187$5D3BDAF5-FCAC-4F7A-BAC7-0006EB6FD33C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$2CF7BBD4-D8DA-40F1-A0B6-4FD44093AC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$A8EBF39F-DA52-47BC-BD22-5EFA33274DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2110f534d463538c1275791de155f730c8e7fa3","datavalue":{"value":"countably categorical sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$F82A2A06-CA9D-4CF1-AC87-C32974661D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea465f8c8b62280313cd448dcbba2b6f628e2566","datavalue":{"value":"hyperarithmetic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$7277C5EC-436D-4F1C-B648-AAC6185C8D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1972ba718f4ad2fb7fd6b7afb932489e10f77e60","datavalue":{"value":"Scott rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$B231BB13-D109-4AAB-A153-89DE258AB97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76a75731279f811e9b076e8bc061c8197ffa397","datavalue":{"value":"canonical Scott sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307187$1F2C05EC-91EA-40FB-97EA-4BC1C3E6FCBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307187$A3433FB3-A2A4-4C9B-8EBB-057560631C2E","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":"Q1307187$B0408F5D-4065-458F-8664-B10923B16F9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24268fa3f87c841d7ae922a7e13048a13454ffee","datavalue":{"value":{"entity-type":"item","numeric-id":4691703,"id":"Q4691703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92d2195c7daadcbb53ae0e0304614cf9a51612c","datavalue":{"value":{"amount":"+0.7850364446640015","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":"Q1307187$2A68BA27-8F20-4E9D-8491-EF1BB025CE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe02fe9857848298bddb584c270dfdbe4e996bed","datavalue":{"value":{"entity-type":"item","numeric-id":3676125,"id":"Q3676125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b932a42eab013e7a92418b5abb58fb0a169fa0a5","datavalue":{"value":{"amount":"+0.759836733341217","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":"Q1307187$E6E60EEA-FC49-42E3-ABA3-2E63DE10DDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab1ac36762ced266779362d72eab954e5f67576","datavalue":{"value":{"entity-type":"item","numeric-id":5067872,"id":"Q5067872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0794e2bedd19f4214b6e02c053d7f0da2ceee238","datavalue":{"value":{"amount":"+0.7579643130302429","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":"Q1307187$D83D88F4-A213-493D-B067-7873DCE79D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a255f13b2f632854fd23a5e8c71e5e0daa9962","datavalue":{"value":{"entity-type":"item","numeric-id":1928482,"id":"Q1928482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc60b568ff6aafc2073478dccdc59c8ef2ff803","datavalue":{"value":{"amount":"+0.7558375597000122","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":"Q1307187$80A734CD-9924-4437-9EED-E1E3E59AFADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c61afde33cbda51d12ce48f78a636cf376ed18","datavalue":{"value":{"entity-type":"item","numeric-id":1005932,"id":"Q1005932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d516c3961f7d9f5475285fd7506a2599947157c","datavalue":{"value":{"amount":"+0.7523460984230042","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":"Q1307187$2847E802-7A5B-46C7-93F9-9F79FCD8F61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Once more on countably categorical sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Once_more_on_countably_categorical_sentences"}}}}}