{"entities":{"Q1127833":{"pageid":1138582,"ns":120,"title":"Item:Q1127833","lastrevid":66190719,"modified":"2026-04-12T08:09:48Z","type":"item","id":"Q1127833","labels":{"en":{"language":"en","value":"0-1 laws for recursive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1186291"}},"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":"Q1127833$F6234A14-F4D2-4735-9FCD-8B6E51148A1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bd8ca127fc00a4c5cce499e0e65ea3900613576","datavalue":{"value":{"text":"0-1 laws for recursive structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127833$2C408F1E-D84A-4C19-A7AB-F270F2426709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7953ca7f2446d41ce6c6cfb342bbbe7ecfaae82a","datavalue":{"value":"0921.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$45A83D90-8CBD-4D71-A5F6-FEE88E5E9601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127833$324C68B9-A403-4F4F-ADC0-3C308366B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a34d53deb529643e3f6ada9bc22a8e744f9072b","datavalue":{"value":{"entity-type":"item","numeric-id":1127832,"id":"Q1127832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127833$CA9E7925-4EF8-4EB6-8272-19E2C4E97902","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127833$E7735722-6963-4030-A4D1-7F4C309582E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0d45ee9df76ca8b87880e2aeb203d027e791992","datavalue":{"value":{"time":"+1998-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127833$12D181D4-3E77-4A9A-8904-717CE6DC34BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56344808c9fa968e0dbe00cf805c87898cbc75a6","datavalue":{"value":"It is a well-known result due to Gaifman that the set of all extension axioms of a finite relational vocabulary \\(\\sigma\\), has a unique countable model, called the random \\(\\sigma\\)-structure \\({\\mathcal R}\\), and that the isomorphism class of \\({\\mathcal R}\\) has measure one (with respect to the Lebesgue measure) within the class of \\(\\sigma\\)-structures with universe \\(\\omega\\).    A relational structure of finite vocabulary is called recursive if its universe is countable and each relation is recursive. To study 0-1 laws on recursive structures one has to define a reasonable measure for this class; since, obviously, the recursive structures have Lebesgue measure 0. A non-standard, but convenient, way to define the Lebesgue measure is in terms of betting strategies or, equivalently, martingales. The restriction to recursive martingales yields a measure on the set of recursive structures.    In this paper it is shown that the isomorphism class of the random \\(\\sigma\\)-structure has measure one also on the class of recursive structures. As a consequence, every logic has a 0-1 law on the class of recursive structures.    These results can even be extended to countable structures where the relations satisfy certain complexity restrictions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$AD770E04-75F6-4587-9618-51F4096FC37B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$CD167EF1-5A3E-4F60-B9C5-4BAB25D69FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$FEEFDFB7-4B27-498F-BC32-5AC2141C22BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$C277B056-1451-40E0-BB85-217ECCFC21BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$497F4749-00AE-4E0D-AE21-6BF1DB5FD038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ea71f5d73e86695c3db83eda1dbe060ef0c0108","datavalue":{"value":"28E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$F17541F5-9D71-4B51-9BD2-0ADD823E8FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"726241fb5a755f08466446b17778c8b32f5c3e96","datavalue":{"value":"1186291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127833$73A7D139-A8E5-49B8-88C8-0CE2175B0646","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562c063f7d0152a3c5a5eeb5c5648d0eaceaf64c","datavalue":{"value":"recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$CE5C6C9C-0C71-4439-AC90-52D79FD5733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$575A3E93-A5A6-4259-A9A1-7BE19C4B2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3716a4a9d9554ead816245702439350948323de3","datavalue":{"value":"0-1 laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$1E385816-1DC3-4317-AE14-A6AE94904A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee457a137f887494ecc8f87dad51dc40b7bd7f1","datavalue":{"value":"resource bounded measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$BD339F5E-ECB1-46AE-BB16-E27813767BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24b097e74306ee17c727b174b5017a18dd286802","datavalue":{"value":"recursive martingales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127833$C64C1DC1-5F87-4D15-B70B-0C30C769FD44","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":"Q1127833$B155C38F-3336-46C4-AA6C-63649C21843B","rank":"normal"}],"P1643":[{"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":"bb76cb8f0c119ad72fcee8314fe29f34fbc018ae","datavalue":{"value":{"amount":"+0.8159204125404358","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":"Q1127833$233014D8-FBE0-4ABF-B283-A67C7B3AF523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f69dd7b2a164cbee70da24e4af4d228718a09b","datavalue":{"value":{"entity-type":"item","numeric-id":2710601,"id":"Q2710601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044f2196114efc43068a1d57275d6bb51e67cc9e","datavalue":{"value":{"amount":"+0.7848167419433594","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":"Q1127833$1906EAC4-F054-42B2-96DB-A960614CBE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09bb55543efbf0f141245d7e3ade3c96b9c8d4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3399185,"id":"Q3399185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7728b705a11cf94f66e660503dfe34275b6d335","datavalue":{"value":{"amount":"+0.7783562541007996","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":"Q1127833$42E0C0D4-7480-4103-9908-BEADCFCF36BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1de112f725db44ef02c05f5f53c8af6fb488f","datavalue":{"value":{"entity-type":"item","numeric-id":672725,"id":"Q672725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7365c9c4f007d53e3579ed38001111c9f7550855","datavalue":{"value":{"amount":"+0.77766352891922","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":"Q1127833$D297EB86-0ECA-4437-B287-A3C22311310B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"0-1 laws for recursive structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/0-1_laws_for_recursive_structures"}}}}}