{"entities":{"Q689299":{"pageid":691148,"ns":120,"title":"Item:Q689299","lastrevid":63499281,"modified":"2026-04-11T13:34:32Z","type":"item","id":"Q689299","labels":{"en":{"language":"en","value":"Empirical set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445103"}},"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":"Q689299$C31D1AE8-C3A7-41D0-B2D9-989005225D58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6fc6e4f7bb94d35ca8ef9ce06fbd6da722cc540","datavalue":{"value":{"text":"Empirical set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689299$D5D2350D-3043-4116-8E0F-93AA4ED468E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"139d753cb679508e87f2266727d7997321e6c8f0","datavalue":{"value":"0779.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$96BD2829-6AAB-4854-B02D-5D9E6D2B1E07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aaafdb695eae1da9ce08664678a4db6fab228cd","datavalue":{"value":"10.1007/BF00675196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$03A5F7DE-02ED-4015-88FF-8063970C4300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$C2FC3261-4F1E-4369-B9A8-3D1B1A150D86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$BDFA40AB-7601-4995-8B8F-73AD6840F56E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c97e9fe3e19d1cf4106667cd4308fcb719b9e55","datavalue":{"value":{"time":"+1993-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689299$B81A3D49-440C-4954-B1BF-81225D1A1D30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c257f9015a0c14629c50c75e9fc41321802ab872","datavalue":{"value":"We share with \\textit{D. J. Foulis} and \\textit{C. H. Randall} [J. Math. Phys. 13, 1667-1675 (1972; Zbl 0287.60002) and ibid. 14, 1472-1480 (1973; Zbl 0287.60003)] the conviction that it is not orthomodular posets or the like, but manuals of operations that are of primary significance in the foundations of empirical sciences. In contrast to them we regard an operation not as a set of possible outcomes but as a complete Boolean algebra of observable events, which we adopt, following the lines of \\textit{M. Davis} [Int. J. Theor. Phys. 16, 867-874 (1978; Zbl 0392.03040)] and \\textit{G. Takeuti} [Proc. Int. Symp. Found. Quantum Mechanics (S. Kamefuchi et al. (ed.)) Tokyo 1983, 256-260 (1984)], as a building block of our empirical set theory. Differing from \\textit{L. N. Stout} [Manuscr. Math. 28, 379-403 (1979; Zbl 0409.03039)], we prefer geometric morphisms to logical morphisms as interconnecting machinery. Thus, just as a smooth manifold is a family of open subsets of a Euclidean space interconnected by smooth mappings, our empirical set theory is, roughly speaking, a family of Scott-Solovay universes \\(V^{(B)}\\) over complete Boolean algebras \\(B\\) interconnected by geometric morphisms. Using the nomenclature of topos theory, it is a subcategory of Boolean localic toposes and geometric morphisms, where two parallel geometric morphisms are identified provided that they are naturally equivalent. Thereof observables in the sense of quantum mechanics are identified with real numbers of our set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$75496CFC-FE13-4637-A0A4-CEE79FC0328B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$CCA82445-27FE-46DA-9C7B-AFFFEB3609B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$BC6A6DAB-4360-4ADC-A910-691080978D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$94CD4565-BDDF-4C41-AC9C-FDFB105ED0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$BD65E8FB-4B86-45A1-9435-C86E9D3EBAF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9abfe9669da3397addfa03f5eb42222e04c2d4f","datavalue":{"value":"445103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689299$EB147EFC-83B9-4F43-9A29-776C4D79D843","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d45ac25397c2fddd0ae4c7a7f0601ad3972288","datavalue":{"value":"complete Boolean algebra of observable events","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$6BC44C26-AC88-402D-A7EF-E874EC294694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea956ca687ef3e00f69962cdbdad50932b6a273","datavalue":{"value":"geometric morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$891F3D88-D68A-491E-AE18-AFEC46422C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23fcaefcc3bfe66abd756811e326d69a0cfed42","datavalue":{"value":"Scott-Solovay universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$1DC2A27F-6B48-407E-A181-6D38FA3A864D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6257b30c08a21ced03fdbfa5d204ee0a0b72930b","datavalue":{"value":"Boolean localic toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$774BC45F-C5C9-43A7-9531-B919ED613887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b322527bfc4dda88d5b2b9910c9909cf498a501d","datavalue":{"value":"observables","type":"string"},"datatype":"string"},"type":"statement","id":"Q689299$31D31185-0905-4862-B012-354447A4F57D","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":"Q689299$7A1D1B6C-AF57-4C41-901F-7627699360AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$84FEECBF-DC78-4AA7-9F0E-E701633A2A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4ff3741e91b31b9f5b7cbc82bd91a731e4c76d","datavalue":{"value":{"entity-type":"item","numeric-id":1251658,"id":"Q1251658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$47A3892C-BE01-4FD8-9CEC-A9DB5AF451CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311b5702a5f3814889d0f95c23d7e246dfa5389","datavalue":{"value":{"entity-type":"item","numeric-id":4775200,"id":"Q4775200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$15868573-ECC6-4CDE-8600-E520D4082755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c115f44cb7618dfe68d3c7c3b9ed70a9be58185f","datavalue":{"value":{"entity-type":"item","numeric-id":4043069,"id":"Q4043069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$732735D4-CB4F-40BC-BC62-F511CDF8B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abc494940b2760196b2d1d5c2814fc2de32d256","datavalue":{"value":{"entity-type":"item","numeric-id":1232400,"id":"Q1232400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$823D878D-66FF-45D7-887E-0117E063601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$84262546-17C2-44DD-A718-C3C912017EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5c8beecded8273606aac03730096e3964f207b","datavalue":{"value":{"entity-type":"item","numeric-id":1107896,"id":"Q1107896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$9F35F433-9B39-4CB6-8403-C392B6F49E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$FA161718-A37C-418F-AFEE-A0DC36CEBF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c071f156dd6170668d977558cde758fa0c05fbdb","datavalue":{"value":{"entity-type":"item","numeric-id":3238703,"id":"Q3238703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$F826843D-B18E-4892-A262-CC0B5671ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$EA5DA23E-C5E3-4F1C-82DF-D8F38F3FA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$FFDFB67D-3A03-4B96-96FD-6E0B1B4C47DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$F714D737-5F90-4ACE-8C1B-742DD224A810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f212c8e3e3463058621678ec73481d3beba82d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1200431,"id":"Q1200431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$8981F0C7-A91A-4DBB-9150-954B888A6E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9e95162fc7e5ecdbd9e0f2f124100cc79394a6","datavalue":{"value":{"entity-type":"item","numeric-id":1801524,"id":"Q1801524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$58E652C4-5BCE-44E9-9BA6-C61E1D345061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$38303B20-3DC0-4155-8E97-CBCFCBF7F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8ecf50582b61b22b930b352c9cc4dc3b69214b","datavalue":{"value":{"entity-type":"item","numeric-id":4775201,"id":"Q4775201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$A63F7ECD-33A7-45E0-B9F7-599E39670B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d02df8af21241e4d811aa1290bd14d1c3e4560","datavalue":{"value":{"entity-type":"item","numeric-id":4111535,"id":"Q4111535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$CDAA2E97-41CF-4280-818F-E96354FB19DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1540b3aa8981e82dbe0766f3853c00230d452617","datavalue":{"value":{"entity-type":"item","numeric-id":5804479,"id":"Q5804479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$FBC3936A-34E5-4109-9F36-0C388D36868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$44A069F7-3152-480A-A317-5F37BB529625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5745780bc99526dabc51a1da83b0fca740761d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1258738,"id":"Q1258738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$3B8AC022-A759-4B48-B6FB-1A80CEB6BEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$82AEDE6D-AAC3-4D2A-BBBE-29724DA265EB","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":"Q689299$14FB338B-0B2C-47DC-B234-FE11DB6DFF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b30e8bca0694fee541d63057715b26a395df36d","datavalue":{"value":{"entity-type":"item","numeric-id":3848131,"id":"Q3848131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$7BF3B62B-D3B5-446D-8502-CB07A60687AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96988ad6fb35ca1892c24eb78b9faa634755e90","datavalue":{"value":{"entity-type":"item","numeric-id":5537293,"id":"Q5537293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689299$AEF2A8D4-61DE-42B2-9D70-140E92BD37DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38ae9914f0686759b506b21f8c2da6ddd8d2192","datavalue":{"value":{"entity-type":"item","numeric-id":1919234,"id":"Q1919234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ada919eaabde6931099347d1e23f8ae5a677d1","datavalue":{"value":{"amount":"+0.7698605060577393","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":"Q689299$617A2860-C4DD-4E30-8F54-636687B042C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d992f177174eaacff4c924e90465eaa97262924c","datavalue":{"value":{"entity-type":"item","numeric-id":1781411,"id":"Q1781411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713c1e1c3fd6ee50a4df617f002e7ce2c08fa90d","datavalue":{"value":{"amount":"+0.7690043449401855","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":"Q689299$68217C29-3CC1-4319-BBF2-CC9A214D9746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c7c31fa462bbfa01a13d6b6e0909f1f8b14e38","datavalue":{"value":{"entity-type":"item","numeric-id":1891470,"id":"Q1891470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2dacee6ee4b299fcc4ea7dd21aeaba74ff22911","datavalue":{"value":{"amount":"+0.7473455667495728","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":"Q689299$47CAD20F-682D-4660-AE9A-66541E467641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bcab8f16dc96e3eb72df0bc666f9f68b128638","datavalue":{"value":{"entity-type":"item","numeric-id":1330094,"id":"Q1330094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc698b395c69849a1d174b957b1bd763cd4d25c4","datavalue":{"value":{"amount":"+0.7427716851234436","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":"Q689299$DA84A45C-0DC7-4F79-A9DD-B47A0EC604C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb66b2d41c4b93b8b310761aab19fa85d487836","datavalue":{"value":{"entity-type":"item","numeric-id":703009,"id":"Q703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc698b395c69849a1d174b957b1bd763cd4d25c4","datavalue":{"value":{"amount":"+0.7427716851234436","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":"Q689299$6AF4AD68-73A9-43C5-A744-320FAC96344D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Empirical set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Empirical_set_theory"}}}}}