{"entities":{"Q1935366":{"pageid":1946108,"ns":120,"title":"Item:Q1935366","lastrevid":57596085,"modified":"2026-03-31T13:29:35Z","type":"item","id":"Q1935366","labels":{"en":{"language":"en","value":"A saturation property of structures obtained by forcing with a compact family of random variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136596"}},"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":"Q1935366$1EFAA526-9B1B-4503-A437-74E360200F56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff1878140f02b8409208e7b3035ab3cf4f7d6d2b","datavalue":{"value":{"text":"A saturation property of structures obtained by forcing with a compact family of random variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935366$1A740B36-7752-4D66-81F2-F71C3FD2BE71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"497b1e0a23c094e9ead223c64ef1850aac921a66","datavalue":{"value":"1268.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$14FD7BBF-C716-4748-AB96-55E23B45723F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$F7A2F1A7-66BF-4C7D-B6B1-572C16476165","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":"Q1935366$0DF2DCA6-3806-4047-83D5-CDA710F5036A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"025a6162cbc38481701c5fe66af357be9811074f","datavalue":{"value":{"time":"+2013-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935366$675D84D6-5248-4929-AD7D-CBAE221954B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd28690c5c356060c91541d274f7d22e363f5ddd","datavalue":{"value":"https://arxiv.org/abs/1207.1548","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935366$D97B6A9D-0359-4E6C-9744-D2CCE8BBE3F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a5f82265f2c90bb6b3fb3ee31ba0b987638c541","datavalue":{"value":"The paper presents a framework for building Boolean-valued models with a certain amount of saturation. The models are constructed using the method of forcing with random variables introduced in [\\textit{J. Kraj\u00ed\u010dek}, Forcing with random variables and proof complexity. Cambridge: Cambridge University Press (2011; Zbl 1219.03071)]. The results are motivated by potential applications to independence results for weak systems of arithmetic and computational complexity theory.  A notion of saturation for Boolean-valued structures is introduced, and it is shown that if \\(L\\) is an arithmetically definable language, then, under certain assumptions on the set of random variables \\(F\\) (\\(M\\)-finite functions with a fixed infinite domain in an \\(\\aleph_1\\)-saturated model \\(M\\) of true arithmetic), the resulting Boolean \\(L\\)-structure \\(K(F)\\) is saturated with respect to countable sets of open formulas in one variable. A theorem on saturation with respect to sets of existential formulas is derived and an example is given to show that the result fails in the universal case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935366$1049D57C-7EAF-45E7-80D5-9F056B902DA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$B0398044-5447-4142-8014-CCD545145600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$5909D1EA-D06C-45C0-96FB-7F0B674BD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$D5DB8A95-7C50-47BB-B770-3B0A97B0A0BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf744fcef958c5d84890a932a36847bff0d44f9","datavalue":{"value":"6136596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$8AC601AE-44AE-4467-AC98-BA91FD2B7214","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e0a5c51f95da0285894003cfd5e9fb7cf49051","datavalue":{"value":"Boolean-valued structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935366$F09171DC-A47E-4938-8216-DE474BC42C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6008c8f485ce0f95ba79c41ced5b0c97f65d1f","datavalue":{"value":"saturation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935366$0F689931-A52C-477D-A8F8-2C0D01F7F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2595bad4c7f5554d8c6eb6de152356eefac661f","datavalue":{"value":"nonstandard model of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935366$A66416A2-ACA1-4DFD-946C-F7A71CDD21E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$CCF10254-0455-4E40-A70A-8AD812FC18A3","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":"Q1935366$0D145CCA-BD66-443E-8D15-7B2C94281FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c57efa745fce1ab91de1031ffea0a0612245806","datavalue":{"value":"W2068961663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$07338477-B3C6-4FE3-9841-7FEAF72C2490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$C87A3FFF-00AE-4098-9E56-48498C1C3D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$FDDEAD7F-78AC-4E49-840A-3676A0FEDC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$99754170-6A50-476B-BF5B-74D238F66472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da5ea8a3859a6f18eb6831139b465c3fb4f7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":5823274,"id":"Q5823274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935366$FAC4E3BA-41C9-4983-9999-20506182A392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac5c4363080a87df1f79b05a2fc2e3cbb54b2f43","datavalue":{"value":"10.1007/S00153-012-0304-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935366$5A9E29C3-97C6-4515-891C-08905EF80071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc27712d30af9d8b9fb1c8d39d6bd3cb0e51131","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb8f4f1d94dc9adc7ba4cf6f47665e6c112f9fd","datavalue":{"value":{"amount":"+0.721549391746521","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":"Q1935366$4AB2C4DF-4889-4F66-A0D5-3C48F9956062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a060eeb1addb944e8f39b861cfc80b6c9961da06","datavalue":{"value":{"entity-type":"item","numeric-id":5202640,"id":"Q5202640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2010103dbbdf2d47ee130a96c95b99b227881d","datavalue":{"value":{"amount":"+0.6969583630561829","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":"Q1935366$AE9EF86C-379B-4183-A5BA-BD323F71B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe7355d9dbeb4d77a64ff11429ecd212bf2baf8","datavalue":{"value":{"entity-type":"item","numeric-id":4604554,"id":"Q4604554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dbbbdf8d2cd9aa2bf9f3cb8f3e1ea87f3adf46","datavalue":{"value":{"amount":"+0.695827066898346","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":"Q1935366$28AEC66B-7418-44D1-B605-DCF376A9D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095907e84d9357f22e4dcde96cc20f693e3a57e8","datavalue":{"value":{"entity-type":"item","numeric-id":4283064,"id":"Q4283064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692506d252b0d98b6b865020e72587a6437f4f3f","datavalue":{"value":{"amount":"+0.6898866295814514","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":"Q1935366$AC63E0F6-C3A6-4985-BBCF-EC3AF138B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8bd065a508e368d4ecf451e3eddeb05f8dfc59","datavalue":{"value":{"entity-type":"item","numeric-id":1109799,"id":"Q1109799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b824518a68ed6320c6fedf6d82291a51095bfc","datavalue":{"value":{"amount":"+0.6879773736000061","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":"Q1935366$E694E970-A25F-492A-890D-FB0CB2A808D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935366"}}}}}