{"entities":{"Q1346925":{"pageid":1357664,"ns":120,"title":"Item:Q1346925","lastrevid":67669986,"modified":"2026-04-12T19:15:28Z","type":"item","id":"Q1346925","labels":{"en":{"language":"en","value":"Lascar rank and the finite cover property for complete theories of unars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738971"}},"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":"Q1346925$FD0D77D5-7D3B-405C-92BE-60B22DB13558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed8b629c68a8850b6b6e68771831a2d64777ac2","datavalue":{"value":{"text":"Lascar rank and the finite cover property for complete theories of unars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346925$466324A4-0DE3-4B50-8E53-39BD5BE720AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6d02b616568c21eaa77cc16aa8f2008c3988bfb","datavalue":{"value":"0820.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$42FF9671-81BA-41CE-8B3D-44401C956868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f6d521f2aa2e088c192f688868b4c6ba97f1f55","datavalue":{"value":"10.1007/BF02263056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$65D54E48-96C9-4216-8EFB-2F0620C0B83D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17f6f27fa1ff510272453ded8e6767982aee7518","datavalue":{"value":{"entity-type":"item","numeric-id":891061,"id":"Q891061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$D229F3BB-D712-4347-B664-B5DA5E7B9FF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$999BE254-F727-4EA7-BDC9-B919E0D01D92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346925$127458C3-9B7B-4FCD-9C55-442E8D5D9E21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1983552b548bb6d11af44391f7e4626dcb698ca1","datavalue":{"value":"The paper is concerned with stability for complete theories of unars (namely structures in a language with a unique 1-ary operation symbol \\(f)\\). First Lascar \\(U\\)-rank is studied for such a theory \\(T\\); in particular it is shown that if \\(T\\) has a finite depth, then the maximal \\(U\\)-rank of types in \\(T\\) just equals this depth. Secondly, the author deals with the finite cover property f.c.p., and provides a description of the complete theories \\(T\\) of unars without this property (an alternative proof of this result was given by the reviewer in Ill. J. Math. 35, 434-450 (1991; Zbl 0716.03027)); here, whenever \\(T\\) has f.c.p., a formula witnessing it is explicitly written. Finally the author shows that, when \\(T\\) contains the sentence  \\[ \\forall v \\left( \\bigvee_{n < m < N} \\bigl( f^ n(v) = f^ m(v) \\bigr) \\right) \\]  for some positive integer \\(N\\), then \\(T\\) fails to have f.c.p. if and only if \\(T\\) is \\(\\omega_ 1\\)-categorical, and, in this case, can be expanded to a totally categorical theory in a larger language with two new relation symbols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$CBD4AB9E-FF3E-489A-85F7-B17EA14892B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$71339CBA-A21C-4A94-B400-199B1905D6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$5D114F0A-1CD7-4E7C-B11B-C37E37C16DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$6EB69060-E6C0-447B-9C3E-809A5A321114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96047a0633f7a677df8b39fa2a845c46185c67f","datavalue":{"value":"738971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346925$CFBF6240-AC8E-445B-BE30-A0722050BF53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce6509d5f19b2e7ebadf267e41c1abd732e77bee","datavalue":{"value":"Lascar \\(U\\)-rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$308C8814-C6A4-4513-B667-AAEE21117231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$7ADC6528-6729-452E-B6D7-59B84B6778A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$43A68830-5025-4E65-8638-141BF9D13CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f73d543fdeaea5eaa0f97e19b3c25ef67294ed","datavalue":{"value":"complete theories of unars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$53CAD3CE-C84F-4BB3-A304-699428965961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbaf82674f5af8b4b10dede28f531ed1d967cc5b","datavalue":{"value":"finite cover property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346925$2AF38AB6-9321-4E99-A99C-8ED38B731E9A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$3621CEAD-9C2B-4C5E-AC84-ED6C83ECBDCD","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":"Q1346925$A3674E10-8627-433C-B1D8-7C7D79E793DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61df09a191b306983f971a47b1f897dc9d308b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4700632,"id":"Q4700632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$9AA4E1FC-76DA-4FAE-ADC9-D2D47F964A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42592a0ac9ba6c84bb4ff5b3b7068d8ea9210eb","datavalue":{"value":{"entity-type":"item","numeric-id":752696,"id":"Q752696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$90F346FB-CD3B-4627-BE83-D6A484F26374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9cbc45a6958dea50f5cbc0ced772fb6a9b5733","datavalue":{"value":{"entity-type":"item","numeric-id":5544274,"id":"Q5544274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$906D310B-CF00-449B-8ACC-2F37C7E308D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853daf3a7d71b70c96921c8ce92cc82d3c5f49a7","datavalue":{"value":{"entity-type":"item","numeric-id":4137159,"id":"Q4137159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$4A6242BC-F04B-489F-9B8E-6C1F1A1B1C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$3457737D-DC72-4F40-A427-E18214F1BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5784e330e314d12460a880d71a4d7dc851b1702","datavalue":{"value":{"entity-type":"item","numeric-id":3858245,"id":"Q3858245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$3352BBC0-0D79-46A6-99A5-56D16CB95A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7358e709accd976b1dddd3d15df66f55546a3f62","datavalue":{"value":{"entity-type":"item","numeric-id":1225615,"id":"Q1225615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$FADCB6C5-FB4A-4EBD-A5AA-2DEB04910CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacfb6fc30b47b44419850233dc9f7d3ac976c63","datavalue":{"value":{"entity-type":"item","numeric-id":910399,"id":"Q910399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$C5D67648-4E1B-43AE-AA86-D12969014595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a16579cd5eff3aa4b1c0cb9ebbd0bdcea43b4c8","datavalue":{"value":{"entity-type":"item","numeric-id":3699673,"id":"Q3699673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346925$E60C779D-0241-4259-A714-287AF55F0901","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b7aff180d1f3851cc42cff9169a67e489b608c","datavalue":{"value":{"entity-type":"item","numeric-id":1113894,"id":"Q1113894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5e29aeb1470a213c691d25eb4539a616a3c0bf","datavalue":{"value":{"amount":"+0.87703806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$19119153-9D7D-41DB-AD88-3588E3B1BF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fec06c7af770e17b0000713bf110482939a0b67","datavalue":{"value":{"entity-type":"item","numeric-id":3715167,"id":"Q3715167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618c89869b6a0caee90321a8c02b3629b745d5f2","datavalue":{"value":{"amount":"+0.8743716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$EF45CA5A-ADB5-47F7-BE3F-DA78E8774C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03e9ffb9dd53fd9320163d9d9893f7c17e63376","datavalue":{"value":{"entity-type":"item","numeric-id":3829543,"id":"Q3829543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f4beb76e4b4124d9cbb87bc978a8e4e49b50fa","datavalue":{"value":{"amount":"+0.86466604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$3168B0A5-34FE-4429-B78D-BA1C5847BC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d50ee8425a1ba45faf1c2d1f930eb4a483d44a","datavalue":{"value":{"entity-type":"item","numeric-id":4700632,"id":"Q4700632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f4beb76e4b4124d9cbb87bc978a8e4e49b50fa","datavalue":{"value":{"amount":"+0.86466604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$1A6302DD-9053-42CE-BF8A-6DCE029BF4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c2b4b7c358030d6f9d55e319c02dc04c9e00f","datavalue":{"value":{"entity-type":"item","numeric-id":3739114,"id":"Q3739114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da2b6fdb8278d885f136da527f4c854552e98cc","datavalue":{"value":{"amount":"+0.8587456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$6FC53A9C-F639-417A-A08A-16B7486B1C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7e6cfcc618a5ed0290c9bf3c86d2f3c62edfe5","datavalue":{"value":{"entity-type":"item","numeric-id":3789538,"id":"Q3789538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da2b6fdb8278d885f136da527f4c854552e98cc","datavalue":{"value":{"amount":"+0.8587456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$D42A149A-478F-4BD5-A288-F0AF27F27298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f086eeb15ecca00d7ad1adc5ba19acb4d039b337","datavalue":{"value":{"entity-type":"item","numeric-id":3323929,"id":"Q3323929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f39baccfa5e024394f4661839b9b5f259cf1ca","datavalue":{"value":{"amount":"+0.85813105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$C9A34984-4619-477A-BE9C-19B453F7CE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea032a899c6ec2b22a42207ef10d5d7f6f1b20c2","datavalue":{"value":{"entity-type":"item","numeric-id":4309359,"id":"Q4309359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3403baaa4030de56e80ed27e74e7231f249895d2","datavalue":{"value":{"amount":"+0.8544128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$ECA4CA43-B446-41F0-83C7-81CB2C35A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db05228e967fe5cb3e7a64783bd57859c303107","datavalue":{"value":{"entity-type":"item","numeric-id":3486553,"id":"Q3486553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265cfbef653ac27852dcb5fb8450860388f72f2c","datavalue":{"value":{"amount":"+0.85431296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$1EF62D03-772B-45A7-BD5C-A8B155E86B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36ee02af7aa3fa7758a080ddf37f30fbd146da4","datavalue":{"value":{"entity-type":"item","numeric-id":969688,"id":"Q969688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d8caafb100b342408850390dc9c138cc2d9053","datavalue":{"value":{"amount":"+0.8535093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346925$B816B04F-BF21-4A5F-8577-6B4D63ABA863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lascar rank and the finite cover property for complete theories of unars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lascar_rank_and_the_finite_cover_property_for_complete_theories_of_unars"}}}}}