{"entities":{"Q2364327":{"pageid":2375070,"ns":120,"title":"Item:Q2364327","lastrevid":72605658,"modified":"2026-04-14T06:02:58Z","type":"item","id":"Q2364327","labels":{"en":{"language":"en","value":"Binary formulas in countably categorical weakly circularly minimal structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748436"}},"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":"Q2364327$5A5726EE-5B6E-4B71-AB22-F8495112F4BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00da5f6ad06b2a6d62328c557c845c85cd8e0aef","datavalue":{"value":{"text":"Binary formulas in countably categorical weakly circularly minimal structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364327$17C6CD67-5ED0-4756-B59B-1E9A87336B02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff20c53ee1f484a9fd00b1f8869b836d865739db","datavalue":{"value":"1404.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$50B315BA-16FC-460A-9838-7A93111ED666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991c44e16a29e005173c606dbff473c0476984c8","datavalue":{"value":{"entity-type":"item","numeric-id":331051,"id":"Q331051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$8E9AF311-8EB8-4EDF-A37F-1F60343291F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae500e1eb0c4ea3907cf199c23d6a29cd95f0461","datavalue":{"value":{"entity-type":"item","numeric-id":2191369,"id":"Q2191369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$9CFBC4B9-3BBB-41A0-9E1F-F1EB7E32DEDE","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":"Q2364327$6D5FB553-AE40-4E10-9AE7-0B1C0E145B03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364327$B9FB0275-1F31-4F6B-8EF3-254938554D8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2a9e9ecba0c226bd997b640a35defcce7701ec8","datavalue":{"value":"In the paper under review, the authors study countably categorical weakly circularly minimal structures that are not 1-transitive. A circularly ordered structure \\(M\\) is circularly minimal if any definable (with parameters) subset of \\(M\\) is a union of finitely many intervals and points in \\(M\\). Let \\(M\\) be a countably categorical weakly circularly minimal structure, which is not 1-transitive, and \\(p\\in S_1(\\emptyset)\\) be nonalgebraic. It is proved that then any \\(p\\)-stable right-convex formula is equivalence-generating. This theorem describes the behavior of binary formulas acting on a set of realizations of a nonalgebraic 1-type (so-called \\(p\\)-stable right-convex formulas). Based on this theorem, the authors give a complete description of countably categorical weakly circularly minimal \\(n\\)-convex (\\(n>1\\)) almost binary theories of convexity rank 1 that are not 1-transitive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364327$8824F8A0-1C2C-40C0-8E6C-F76B2C1B0C43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$2D6ABFEA-2C94-4596-888A-F5C32ED9B840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$548A6D54-003A-44B4-B45B-38FF6A235CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$243F216D-9627-425E-B397-5D194AFD8CF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3e079ec9fe188e43bbb5f5cb22d402b89ae408c","datavalue":{"value":"6748436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$2FEF1BE8-4F09-4B43-9694-A0E8D0D443AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fcd978876e3e9f559d2e5299a036ab0fea63da","datavalue":{"value":"circularly ordered structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364327$B512E8D0-E5EF-4E04-8C80-DE380DADC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75186f0aa1aee49ae9544b6d124d2f795a7970e","datavalue":{"value":"weak circular minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364327$4543E827-269D-4C40-A987-ED456F826EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb391d8717fbf061a6cd78e12a3d70bfc170bb61","datavalue":{"value":"countable categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364327$F0D3BD2A-80D4-4965-9B60-9F51B5B86805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc894c7377128dc1b365909248b80d92973ae33","datavalue":{"value":"convexity rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364327$99679AF1-1761-40C1-B22E-7A6C294BD272","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$B60FC7FE-2562-4EE9-9962-150BD14444E4","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":"Q2364327$56095867-1A7C-4C13-803F-22C2AA63C546","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f2fa0977e3593a2a4ea7d86a7cbb63509f558b3","datavalue":{"value":"https://doi.org/10.1007/s10469-016-9391-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364327$0C5604F0-03A0-4D5A-A017-CDC76EA57E67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8597dbc1d19c94cf24685ce043ff3e25110639d","datavalue":{"value":"W2523907811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$F51D208E-1644-48FA-B24B-20CE7CB3EBE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a53510a7f9b8812218f474f2f67e0e8dfed329b","datavalue":{"value":{"entity-type":"item","numeric-id":5967020,"id":"Q5967020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$C0B3C6E6-B5DF-4014-A717-0EC315C65FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8847fe111a26c879a94b3a7ca9ff78295aba8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1919545,"id":"Q1919545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$3F5DE138-CADC-4311-9060-76291E1E8009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c30e82a8e67faa2cda9ee75602f2ba79b93d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5462990,"id":"Q5462990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$7613993C-7B2B-4666-A026-EE78EAD1895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d22fa434f35a1ea4ebe2a961adf7854e0ddfea","datavalue":{"value":{"entity-type":"item","numeric-id":3434482,"id":"Q3434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$816142AD-49AA-462B-9D5B-F4200528B234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f6b034f47808b6028f966815cbb0dd8c75e312","datavalue":{"value":{"entity-type":"item","numeric-id":3418086,"id":"Q3418086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$66E1A072-C050-44A4-B067-8CE2A689C2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5808f920bdab22fa9a3c53ad518a366f2eb0218","datavalue":{"value":{"entity-type":"item","numeric-id":5391556,"id":"Q5391556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$932372C6-1CD0-4A8D-B33E-B00C32BF8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e392dbfacda5e760870d3e806256a5eea8a6714","datavalue":{"value":{"entity-type":"item","numeric-id":3409448,"id":"Q3409448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$31F4E982-BE95-4354-914F-55633BA1E146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ab95f1e88599e44113a3f07bbd8650efcb3af","datavalue":{"value":{"entity-type":"item","numeric-id":2371247,"id":"Q2371247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$101BC43C-1E64-4C37-9AA1-82649F05F065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8327b51b3a248c9b8c14833322ac2391ea028c0","datavalue":{"value":{"entity-type":"item","numeric-id":866573,"id":"Q866573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364327$9C54F8F0-FAEB-4351-8ACA-E2331770D878","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e09b3e12f434669c45d46d303eba6cd5922f6015","datavalue":{"value":"10.1007/S10469-016-9391-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364327$52D8213B-F01D-4755-872A-45F1048C3783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e880d1b1b52fe554c7f378f04a0661469414c104","datavalue":{"value":{"entity-type":"item","numeric-id":3418086,"id":"Q3418086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13669b3c9867cd63dae467e059e2f64f0785ee0f","datavalue":{"value":{"amount":"+0.8344905376434326","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":"Q2364327$0182C396-9FFC-4EA3-B4AF-366CB545C195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fe833a699be5f48193e5624fa42c1548f80364","datavalue":{"value":{"entity-type":"item","numeric-id":5391556,"id":"Q5391556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e843c3db41c36aadfe80170facad213f196039bd","datavalue":{"value":{"amount":"+0.8033740520477295","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":"Q2364327$6C436732-A06C-4777-8F5F-9A900433EDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f21efa37bc775dfbd15a4793c644222a97ff49","datavalue":{"value":{"entity-type":"item","numeric-id":5462990,"id":"Q5462990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edd982695da1a24acc7c7ea38f7cc60dde17055","datavalue":{"value":{"amount":"+0.7689253687858582","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":"Q2364327$5E76D5D6-F0DF-4F02-8742-E60F98105923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de405800733101c8a756e7cefb1cb91bbff6589","datavalue":{"value":{"entity-type":"item","numeric-id":2401543,"id":"Q2401543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a013c779cf774c1b9da9388badc262c8c6f1dbf5","datavalue":{"value":{"amount":"+0.766173243522644","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":"Q2364327$D0F61496-2FE1-44A5-8A5F-A8DFB50FDC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feacd1979f46b003b9016806a7157379d43f4faa","datavalue":{"value":{"entity-type":"item","numeric-id":2221962,"id":"Q2221962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9132747391f8563fe672db1f731516359bae388b","datavalue":{"value":{"amount":"+0.7648200988769531","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":"Q2364327$773920CE-F12D-44D0-804A-BF05264C41CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary formulas in countably categorical weakly circularly minimal structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_formulas_in_countably_categorical_weakly_circularly_minimal_structures"}}}}}