{"entities":{"Q580339":{"pageid":582106,"ns":120,"title":"Item:Q580339","lastrevid":62922003,"modified":"2026-04-11T09:00:26Z","type":"item","id":"Q580339","labels":{"en":{"language":"en","value":"A category-theoretic approach to Boolean-valued models of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016897"}},"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":"Q580339$183C7B5D-2D2E-4AD5-AC3D-59273B0CE7C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae13608bc9fd735bd35a3f7f06c4ca1d861dca46","datavalue":{"value":{"text":"A category-theoretic approach to Boolean-valued models of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580339$9EB7DAF7-A531-4792-B872-96D9F181E084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceb766ebb39c3bf33a5956fba1f123db42138a68","datavalue":{"value":"0626.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$9A8C9541-8A7B-4936-8AA9-F993498556E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b95805002037a88c2d9c71cd7f3f79582c0eedf","datavalue":{"value":"10.1016/0022-4049(86)90010-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$AC9A07E9-E4C9-4768-8EEA-1DBC6CF020B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06b00cbe6141e74e286326ea4a19e97a7db56491","datavalue":{"value":{"entity-type":"item","numeric-id":580338,"id":"Q580338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$0310F300-8FA7-4BA3-A8A3-F701E39C4152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$67CBBA65-A74F-4814-B852-E8F138C33FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q580339$58531749-E06A-4517-8753-18DFDD87F4C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97f9a98230840f5b0e77eb37adde316a79c1004d","datavalue":{"value":"Let \\({\\mathbb{B}}\\) be a complete Boolean algebra. Scott and Solovay constructed a \\({\\mathbb{B}}\\)-valued model of set theory \\(V^{({\\mathbb{B}})}\\); in this paper a category-theoretic translation of \\(V^{({\\mathbb{B}})}\\) is given, in the form of a \\({\\mathbb{B}}\\)-valued model of category theory. The usual category-theoretic translation of \\(V^{({\\mathbb{B}})}\\), namely the category of sheaves Shv(\\({\\mathbb{B}})\\), appears as an image of the \\({\\mathbb{B}}\\)- valued model. The \\({\\mathbb{B}}\\)-valued model lives in a category MOD(\\({\\mathbb{B}})\\), which is intended to be the category of all \\({\\mathbb{B}}\\)- valued models. The last part of the paper investigates Easton's construction, which is the construction of \\(V^{({\\mathbb{B}})}\\) for a `large' \\({\\mathbb{B}}\\). The construction (in MOD(\\({\\mathbb{B}}))\\) of the \\({\\mathbb{B}}\\)- valued model of category theory can still be carried out in this case, though the construction of Shv(\\({\\mathbb{B}})\\) fails.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580339$3F9492ED-6195-43F9-808A-6CE7A06B6B4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$58217B0D-CDFF-4517-A319-74021C03A6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$D88935D1-0F4C-49B6-A289-CD436326B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$FA671833-F5DC-4E3F-B97E-96320BA0244A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bed1e34017a9f0c9dc265e8c811eea04fb885433","datavalue":{"value":"4016897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$73D1AFCE-9D3C-466C-8F5B-E5150F0C8BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5995f793e1d0211f8db0dcd282cd6a1ee261c0","datavalue":{"value":"Easton forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q580339$8CF94C5D-A013-41FB-9BA1-A52A004D0B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffce2b185dd8f70447e165b4d49eda6bd81d6d5","datavalue":{"value":"Boolean-valued model of category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q580339$5DBBFF8A-FBED-42FB-B841-B0755CE5135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q580339$7B860F72-CAF3-4262-95FA-E14035E11983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf4187b0ab7973a3b5fa5e7c12f1ace202ae096","datavalue":{"value":"category of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q580339$43C3E96C-D744-4A7B-87B9-171FCA81B242","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":"Q580339$3C3AA25A-4593-45AB-BA2B-39330B2D879C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0d93816df9a2415792efbea228586d6356d82be","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90010-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q580339$4CB8B6A4-62AB-442E-9BFC-021B9C45E9FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d298153b4d6ca4cd7cd5fa050195d2aaba2d202e","datavalue":{"value":"W2060395830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580339$02AC162B-BDF9-47E4-BAB2-6250C239B901","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b242fcadbc9a1ab6d9110fa15fe4698d81e79bae","datavalue":{"value":{"entity-type":"item","numeric-id":3710519,"id":"Q3710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$FA056F1E-3E07-4FE2-8B71-DC4542A6B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bdc056bb3e02e3a14e1c8a5e86c31e8f88f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5611002,"id":"Q5611002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$62A6868C-ABEE-4F31-A766-6698787FC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$2C890F81-280B-4AF9-B093-B812B4739F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$6F9719BD-AC19-4683-B174-C40DA0CBEAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f060e7b86d3c3cd04ae2952a4ef249b9adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4186519,"id":"Q4186519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$97287EC0-ED2B-492E-ABF2-48A2B28F9BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$0948B61D-0B93-4A4F-A76F-9AE439143FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf66dce643416452adfb65f87a80d3a4ef76081","datavalue":{"value":{"entity-type":"item","numeric-id":5656765,"id":"Q5656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$1C5FC97F-D515-4136-8187-81C5CFAC7572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cfabfed9943c970a3e9d090bc7efb7f5ee8473","datavalue":{"value":{"entity-type":"item","numeric-id":5676214,"id":"Q5676214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$5DBCECB5-B74A-4823-8F1E-0620D6A19692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4985d33d77c7dc23c39c4b36a8af3cf54c4dbf90","datavalue":{"value":{"entity-type":"item","numeric-id":5655524,"id":"Q5655524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$FE14707C-4018-4B5A-B031-DDC870FE7C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8561903e612ef2d9e3fe71930ea7f8d18c6aa7be","datavalue":{"value":{"entity-type":"item","numeric-id":4125452,"id":"Q4125452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580339$B04F3BAA-8E47-4750-9CEE-24211DE8908A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65cac6ed41f2591b8bdfaa5fe5fb087dc27f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3022775,"id":"Q3022775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7a6aa1fa7bf74a4697cea26fd92cfdff189925","datavalue":{"value":{"amount":"+0.7764996290206909","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":"Q580339$9F200B8A-AC44-4E14-A468-95AD9A606E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c59bc2db588d97b2cf5a184231254d00dc72aa","datavalue":{"value":{"entity-type":"item","numeric-id":3748272,"id":"Q3748272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99bdd73339d7eee0e71b7f6c9e909f882d08b4d","datavalue":{"value":{"amount":"+0.7646721005439758","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":"Q580339$6A4ED1AB-DEBA-442E-88E7-5A6D5917873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a224ddac080ecaaf567b036598ba2c94b67a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3720577,"id":"Q3720577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae099b6bf9b0b0c09dfbd9f72370116ca5496b6","datavalue":{"value":{"amount":"+0.7575138807296753","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":"Q580339$5DABCB65-3AA0-445D-B759-020BD8E5BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d666a24fd79cf133677a0363bb548e9d6a15bfa1","datavalue":{"value":{"entity-type":"item","numeric-id":2282614,"id":"Q2282614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b539e8ea6e180664a26ac2f839342c327ceb8e","datavalue":{"value":{"amount":"+0.7503246068954468","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":"Q580339$DD04DF26-D5FB-415E-9821-36B3BAF3C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f6f0a4eacb89bb330ca772a028e7bdc47d3c28","datavalue":{"value":{"entity-type":"item","numeric-id":1192330,"id":"Q1192330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c4599307af7ce5a5bfe940d0b876c0b4588b73","datavalue":{"value":{"amount":"+0.7454894185066223","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":"Q580339$730254DC-3AD2-43B7-80D7-1DD85FC2E004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A category-theoretic approach to Boolean-valued models of set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_category-theoretic_approach_to_Boolean-valued_models_of_set_theory"}}}}}