{"entities":{"Q1095903":{"pageid":1106655,"ns":120,"title":"Item:Q1095903","lastrevid":66680187,"modified":"2026-04-12T11:52:43Z","type":"item","id":"Q1095903","labels":{"en":{"language":"en","value":"Globalization of intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029549"}},"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":"Q1095903$F8EDEA66-16CD-4EDA-BC49-91783E257BD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7476ac3f10729698251c54767dd3ff567fb177c","datavalue":{"value":{"text":"Globalization of intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095903$78B636B7-7596-4E88-941A-7CC4BE24CFF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50fe2aae5f3ef164151d21d23fa798241f4491b6","datavalue":{"value":"0633.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$6392BC64-AAC2-46E9-BDE6-6C11DBC38D1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecce6fe6d59113a49a2a3631116d805fe0e07124","datavalue":{"value":"10.1016/0168-0072(87)90081-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$E40CE854-A208-4A66-8284-311E8F2EEE77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$13767843-578F-42F3-8DCC-21166A94FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a444d6768b4d4bd87eadc8d3ed91106bd20b3d17","datavalue":{"value":{"entity-type":"item","numeric-id":361854,"id":"Q361854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$00B70A4C-6BCE-47C2-8CC8-4D4217A94AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$62ADC6C7-8119-4068-A210-8B07E2908DCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095903$63A75446-D384-492C-8F65-EA2EC5686F9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"740d393e15b40ac60d7d2739463c675c924880de","datavalue":{"value":"\\textit{R. J. Grayson} has shown [A sheaf approach to models of set theory, M. Sc. Thesis, Oxford (1975)] that in a universe V of intuitionistic set theory \\(ZF_ I\\) if \\(\\Omega\\) is a complete Heyting algebra (cHa), then one can construct an \\(\\Omega\\)-valued sheaf model \\(V^{(\\Omega)}\\) of \\(ZF_ I\\), and that the universe V can be embedded in \\(V^{(\\Omega)}\\), that is, there exists a canonical embedding \\({\\hat{\\;}}: V\\to V^{(\\Omega)}\\) such that \\(x=y\\) implies \\([[ \\check x=\\check y]]=1\\) and \\(x\\in y\\) implies \\([[ \\check x\\in \\check y]]=1\\), where \\([[ \\phi ]]\\) is the truth value of \\(\\phi\\) in \\(V^{(\\Omega)}\\). We call a member of \\(V^{(\\Omega)}\\) of the form \\(\\check x\\) a check set. Furthermore, if an apartness relation to 0 is defined on \\(\\Omega\\), then \\(x=y\\) iff \\([[ \\check x=\\check y]]=1\\) and \\(x\\in y\\) iff \\([[ \\check x\\in \\check y]]=1\\); thus the universe V is embedded in \\(V^{(\\Omega)}\\) as a submodel. However, the copy \\(\\check V=\\{\\check x: x\\in V\\}\\) of V is not expressible in the language of \\(ZF_ I\\) on \\(V^{(\\Omega)}\\), since the concepts expressible in the language of \\(ZF_ I\\) on \\(v^{(\\Omega)}\\) are local, whereas \\(\\check V\\) is a global concept. The aim of this paper is to present an intuitionistic set theory in which the global concepts are expressible. We call this theory the global intuitionistic set theory GIZF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$B0218217-12A1-455B-9569-F72749766FE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$33BFE1B2-DE07-473C-9DC8-3972CE7954ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$D61097DA-199C-4BFB-A81C-5BED24089128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$8D85E199-2D93-4092-9F09-B59012DB7749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"115f89655fbc455c447fd85d11ae02d0f7f7648d","datavalue":{"value":"4029549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$0F568963-D8D6-4ABE-958F-5C43CC16B219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$57044D6B-1915-4F04-9FA7-FF87C1C70AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905faf257e2bafd6e371fd17acf9563ec9e8d7c","datavalue":{"value":"sheaf model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$8A50975B-D23D-4411-A3AE-BF18736B0D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$4B56FAE3-A3B2-4CAB-8C3A-9E76CC84FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a2af4ab221cf90d7321a662b91a471bde4ed33","datavalue":{"value":"apartness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$773FD04E-35AE-48F9-93DB-A9A71CCF9799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3a1f5df21aa3608526b043ed69d24ff953e732","datavalue":{"value":"global concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$77A9B335-A457-4CC9-9948-7D6B175091EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"129ffc2a1fd8d9a1ba054b00e3448d842aae901b","datavalue":{"value":"global intuitionistic set theory GIZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095903$2ABB0117-DCA9-4840-ACA2-600BF062AF24","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":"Q1095903$292FBF30-CE6B-433E-BF61-BCEABCA99466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d3c7fffcf1776e14a0f4e57fccd6c8ecb2333a9","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90081-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095903$50B4F69D-9457-4127-93A3-CFB995A61B17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74cc687a65d811d778179954d1a9a211d061fdea","datavalue":{"value":"W2026053661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095903$1E271E09-AF90-4598-A64B-3C2F317BB550","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$C1EAB3A6-37A7-44C9-B48E-150351D91F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$EB4F6D53-77E3-4CD6-A295-848B1907BDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$23A126D2-3E90-447C-A252-0EE7BC19F2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$3F5DA06A-52D5-43DE-A016-E89C0A2F63AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324ca8bce79efca5bc79495bdd6b9e7e2719e097","datavalue":{"value":{"entity-type":"item","numeric-id":3939796,"id":"Q3939796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$4F5BC50C-0F75-42F7-B6E5-30D685E00505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095903$D62EF02A-9C5A-47A4-B9F9-B66C2B1C265F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee800685c5bf232c36ceaad9782955c17f1b7a3","datavalue":{"value":{"entity-type":"item","numeric-id":4358052,"id":"Q4358052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86ac22beb5417ddc501f23545068ac08f987783","datavalue":{"value":{"amount":"+0.90057296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$EF247BFA-BA3E-4E2C-A8F7-6EA9C804D147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b1ac08e0c6cf52fc8bbc2cd5f7227f15b05548","datavalue":{"value":{"entity-type":"item","numeric-id":3744155,"id":"Q3744155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239f691cf08e46412faef4d43540c8753d028011","datavalue":{"value":{"amount":"+0.893079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$0D5B3C4F-F6B1-4FC0-B132-3686F7FD2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a229961d31eec6ebc02dc04168a84b8718f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79054504b420049c468b4e60648c34d40f3e7e5","datavalue":{"value":{"amount":"+0.88725936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$B42DAAAB-7F7E-48B2-A065-859DF2077DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d1ccaaa8c8fa2bd983934f2a59aa97333376f9","datavalue":{"value":{"entity-type":"item","numeric-id":1820781,"id":"Q1820781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae1bd9cc541cbd5117b58630f30c8ee00928791","datavalue":{"value":{"amount":"+0.8854748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$D2899CB1-D0AF-4F2F-88BE-E11CC1FE563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33aea151cb723821dcafbe47b6c70083af81c887","datavalue":{"value":{"entity-type":"item","numeric-id":494642,"id":"Q494642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51c53d387f3280f9aae987376d6efc4fde3a7cb","datavalue":{"value":{"amount":"+0.87327063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$F2FBEF6F-F2E9-464B-8266-5F860C5F6EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebaeb24d669e8c4387b500d08e63ac916669834","datavalue":{"value":{"entity-type":"item","numeric-id":3720593,"id":"Q3720593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e8c8888370589276600610300d4fc155bd708d","datavalue":{"value":{"amount":"+0.8716899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$A1AF6B1E-261B-4D57-8C09-6EBEDAC77B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae1858128fe5c009767cd1948bd600132df5606","datavalue":{"value":{"entity-type":"item","numeric-id":1208081,"id":"Q1208081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c7cbd84664ff453761418237fcbf871c9bb769","datavalue":{"value":{"amount":"+0.8691086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$80BC2999-5DC5-432E-AB53-AC490202C70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff81e980483d32921bae8c2f2fb73a72035e4ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4224765,"id":"Q4224765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708bd8be31d85e19e4ca181d50143bac702211d1","datavalue":{"value":{"amount":"+0.864605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$7E2688FB-AEDB-425A-B630-B0FDBB3794D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73f9cdd711bfa3bd6d952b2598dc6d42107b712","datavalue":{"value":{"entity-type":"item","numeric-id":5691486,"id":"Q5691486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a826f58060028e29bb78f9e5089f22e434c5cc","datavalue":{"value":{"amount":"+0.86074233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$F71B6FA9-12C9-44FC-BEC7-9DF4296A84A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776aa81b6730f5e37d5d63993155e815ae473eaf","datavalue":{"value":{"amount":"+0.85863566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095903$90024A77-0162-4566-A5C5-F9738E0906D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Globalization of intuitionistic set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Globalization_of_intuitionistic_set_theory"}}}}}