{"entities":{"Q2638642":{"pageid":2649385,"ns":120,"title":"Item:Q2638642","lastrevid":44543931,"modified":"2025-11-23T18:53:29Z","type":"item","id":"Q2638642","labels":{"en":{"language":"en","value":"A logical approach to asymptotic combinatorics. II: Monadic second-order properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182481"}},"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":"Q2638642$367ADFB6-8BC4-4B06-8995-F5DB12D80875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7de99fafa96424efe06c7d9b33dea607d4e39881","datavalue":{"value":{"text":"A logical approach to asymptotic combinatorics. II: Monadic second-order properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2638642$1D2CB109-917A-44A3-8A7D-DEECBA744FEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9906a901f610f03ab4f945adc7c93c8cb9c8aceb","datavalue":{"value":"0717.60016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$B8DA8A00-19C1-407D-826A-3A0223777B39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38410cc60d6b97d13ded330bff5db80a963666f9","datavalue":{"value":"10.1016/0097-3165(89)90009-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$1C6543AF-2EBF-4C44-A677-F593C9B4EA1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e384ba9e92c2d1801e5e36038afcb91974b185","datavalue":{"value":{"entity-type":"item","numeric-id":917542,"id":"Q917542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$3961F3F2-E655-4B75-A6B1-DAA1664A5066","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$32DC08E6-EDB4-4D2C-83C9-EF661C7C73B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q2638642$FC22E22D-287F-4168-8A27-D09EAF894B0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51c6c6bd97cf2f6d94daec8b38e21e92f069b0af","datavalue":{"value":"The paper under review is a sequel of [the author, Adv. Math. 65, 65-96 (1987; Zbl 0646.60012)]. In that paper the author studied the problem of determining probabilities of first order properties holding in large finite structures randomly chosen from classes closed under disjoint unions and components. Now he considers, for the same classes, a general approach to problems about properties expressible in monadic second order logic. He defines an extended notion of asymptotic probability and gives sufficient conditions for the existence of extended asymptotic probabilities of monadic second-order sentences. Whenever the extended asymptotics of a monadic second order sentence is 0 or 1, then the sentence has an asymptotic probability (the same value). As a corollary one has that in rather general circumstances the asymptotic probability of connectivity in a random structure is 0. The author extends his earlier results to a characterization of non-fast, growing classes with monadic second-order 0-1 laws. Some sufficient conditions for the existence of asymptotic probabilities for all monadic second-order sentences are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638642$B4C7671C-E500-4B25-9082-EE5EDD565E2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$28E0CB6D-149B-4391-9DA2-723927E56877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$A72A0C7A-8892-4069-8D58-F96F5E5E6654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$FE786661-3848-4C2D-A31B-7631D24D43F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83c1cdb4dc34d742fd8d9a6822012fc16aed5001","datavalue":{"value":"4182481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$8C6C0AEF-755B-47C9-8545-D48819C1EBDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35246c49f7702d46ca3ca3da2ce454dbb4b17f8d","datavalue":{"value":"problem of determining probabilities of first-order properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638642$3CFEA22F-7A0E-4ED8-A889-15E7B36E2F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638642$D3C503AE-9321-4CC4-B60B-38D436A5C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b80e0031f31a09d6bb4c38f8e495ea6b679372","datavalue":{"value":"monadic second-order 0-1 laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638642$100B03D3-32E0-4231-A845-D6C9D8357B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776a9f1eaa709cf31182867fea8cf6967de431c1","datavalue":{"value":"asymptotic probabilities for all monadic second-order sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638642$D17BF098-7269-4F4D-831A-7712818B2E16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$D11ECEF0-7E2D-4451-B4F4-127D1BA8BD3D","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":"Q2638642$E4B348E1-5006-4621-B6BF-8E220719F57A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc92e9ef59eba5f1ddf32b9c8872407d9d23288","datavalue":{"value":"https://doi.org/10.1016/0097-3165(89)90009-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2638642$21EDC126-8DBF-420C-9A01-C1AA2BC97A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c12c512c67b8e24b31a3bb67e12c20b84295155","datavalue":{"value":"W2039607932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638642$2C25B412-3D01-4483-BB13-B2219DDCD2E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a90c73bcf65723c5caa489891ceb2b9a228fc41","datavalue":{"value":{"entity-type":"item","numeric-id":4046051,"id":"Q4046051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$BE837F37-9D9F-4719-9CB1-87E6DC67EC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdd544b499344b3bea954739568fffa8ef06b28","datavalue":{"value":{"entity-type":"item","numeric-id":3718693,"id":"Q3718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$0ABC56CE-AD05-42D3-B2E7-BC18EB1557AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ba489b6a3d88d2d9d682a4febbd386ad4ae23b","datavalue":{"value":{"entity-type":"item","numeric-id":1103939,"id":"Q1103939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$B157A223-9450-4C3F-B593-B8A2683498F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$727C0A31-AB70-4983-96EA-FD2D6DE31EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$DFEB5D00-F44F-4A67-BA44-1BDB01872DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452584eb6d07941194278c94801d51c1341e140b","datavalue":{"value":{"entity-type":"item","numeric-id":5788558,"id":"Q5788558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$F64A6A4C-3E3B-40A2-9674-474E891810D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39234f05549df8b9a405825f098999448ce554eb","datavalue":{"value":{"entity-type":"item","numeric-id":3237328,"id":"Q3237328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$C66DD137-8780-45FE-ADBB-8DE146CFED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e229cfc1bea60629bae895118febbd2de39f77","datavalue":{"value":{"entity-type":"item","numeric-id":3870879,"id":"Q3870879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$BBB32E17-1CC2-4CA4-B04B-F9F92A14A10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5579454dc4831b27a231ccf56981a6051e1b07","datavalue":{"value":{"entity-type":"item","numeric-id":3041164,"id":"Q3041164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$2FA9F518-82AF-41A9-8C0F-D648EC97A268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1880ee39edd1a219bc653a9be8cb306224cc12","datavalue":{"value":{"entity-type":"item","numeric-id":5816227,"id":"Q5816227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638642$137BEC51-B4B7-4D30-B71A-F72A22465B00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000f7e8b9820f42276c9ce009abf70cf5bfc731e","datavalue":{"value":{"entity-type":"item","numeric-id":4283251,"id":"Q4283251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa781a9e7242aa7986191229ce54fb2028ec639","datavalue":{"value":{"amount":"+0.8393859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$0DFFBF66-356B-420C-8169-BB9216BBFAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe16d410fee2decef5e3e9c2fde5e9e08087949","datavalue":{"value":{"entity-type":"item","numeric-id":1613549,"id":"Q1613549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf22e3c6e0f34be748ff6815d9281844af54d26","datavalue":{"value":{"amount":"+0.82279617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$D689931C-BE3B-4A82-8319-D48D9E26908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2314e2f968aa6022bdc6b6723a7129cf9f4fb58f","datavalue":{"value":{"entity-type":"item","numeric-id":4881863,"id":"Q4881863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b060c9bce16d2ebef0844fa1e08b03b45daae2","datavalue":{"value":{"amount":"+0.81516373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$F837236F-87E6-4D6B-8ABD-A70F0D570995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82141f3afe34865230f7a7696cc5c26fdd9e066a","datavalue":{"value":{"entity-type":"item","numeric-id":4697808,"id":"Q4697808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1992fd14b55fad8cf3569fca78fbac5a701de234","datavalue":{"value":{"amount":"+0.81162727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$1A996CAB-ABCA-4479-8927-6ED73946869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f2f49a7c27e3078ffa938ee1da9505d89d6588","datavalue":{"value":{"entity-type":"item","numeric-id":4202960,"id":"Q4202960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52e811f85527c32245c1f5fcca7f61aaae2d2d3","datavalue":{"value":{"amount":"+0.80856866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$F3FE382A-1D97-49DE-B2B8-FA5528616458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0720ea57447b2d6e71be7c687dbff38f1d9623a4","datavalue":{"value":{"entity-type":"item","numeric-id":4524593,"id":"Q4524593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addd23d79004ff9d4c65486086bf7dd564411fb0","datavalue":{"value":{"amount":"+0.8043416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$3F614755-21D3-4D64-929B-9C657414C001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a88822cffc1e132355e4e7d54d6d9418f75837","datavalue":{"value":{"entity-type":"item","numeric-id":1607080,"id":"Q1607080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96878b9dcb3d3844c401a2b1bf4d7ac30bba04fb","datavalue":{"value":{"amount":"+0.8033359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$6A20C762-D43D-43AD-BD19-14E53AA0DB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553cb2435c88ef72a60aa428a79b08531ac52fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1103939,"id":"Q1103939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60e8c993d848b3d13512e0b21fa44172738812a","datavalue":{"value":{"amount":"+0.80257994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$0DB64B4B-D910-40D7-B2B3-48A8CAF7FFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192ba6793afeaace0f58a19b2136d26cfc3af42a","datavalue":{"value":{"entity-type":"item","numeric-id":1426116,"id":"Q1426116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c9541fb9c82caf4a5d54bcb1d49a05eb08ce06","datavalue":{"value":{"amount":"+0.79223394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2638642$289C4814-45FA-4743-AEC3-A8C632B2907D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2638642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2638642"}}}}}