{"entities":{"Q1201342":{"pageid":1212091,"ns":120,"title":"Item:Q1201342","lastrevid":66470889,"modified":"2026-04-12T10:17:26Z","type":"item","id":"Q1201342","labels":{"en":{"language":"en","value":"On external constructions in internal set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97627"}},"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":"Q1201342$60701616-929D-4D14-88BE-AC98237400BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bd9c14f3e0d6015745cecb0f11162071687c0cb","datavalue":{"value":{"text":"On external constructions in internal set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201342$D96EE1E5-EDD6-4C8F-9DC5-C19E2BB21DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6db87bb0b83e4cd241b7c3bc4e110b5cf4958d3","datavalue":{"value":"0769.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201342$3A6C4906-EC0E-49CB-BB29-AF9FC50E6812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2112c1a79f70fd141fe2dee491fd316f1d52a81","datavalue":{"value":{"entity-type":"item","numeric-id":189404,"id":"Q189404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201342$32F6C89D-213E-44B0-99D8-8842499A324C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201342$28EA5BCD-DAB2-42E1-8BE5-298312417560","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa5b095ddc86e47ad091a98497a70bfc5125b083","datavalue":{"value":"The author introduces external sets and maps into the framework of Internal Set Theory (IST). Sections 2 through 4 are expository in nature giving concepts and known results associated with IST. The author then considers external equivalence relations and shows that corresponding external equivalence classes represent the standard elements for appropriate standard sets. What is shown is that, relative to some technical requirements, external quotients always represent the standard elements for suitable standard sets. The author uses these results to give yet another construction of the Lebesgue measure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201342$BD608651-9082-4283-BDD7-A28B3B465D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201342$12162F49-DD37-4C98-B1D2-873219E0BA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"321e8d1e59286011c083762891b1a505664d64cf","datavalue":{"value":"28E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201342$DA7C46DA-BA1F-4E6A-B013-C64E3D270163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d8ebeb6493964f58a47961f3302f82ad7fdff46","datavalue":{"value":"97627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201342$20211C1B-13DB-482B-8E95-8246B35A7C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd69726a6bca516511dda165946ce945dd0f66f4","datavalue":{"value":"external sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201342$63992609-882D-4216-BA2D-BC9DCAFE2534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc0ff7d40bb2980e1114eaf014d446f9793ac32","datavalue":{"value":"Internal Set Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201342$F95DF384-447C-4661-A3B4-345FA6BBC649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118dcfae64a14d47a085a066d9588363b38ef967","datavalue":{"value":"Lebesgue measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201342$9B4D860C-D328-484C-A696-60BF9294C3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8dc76b03bc2d014d8ab8ed0f2e7ad66f294c77e","datavalue":{"value":{"entity-type":"item","numeric-id":161811,"id":"Q161811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201342$8EC33B73-3542-43DB-A52E-3FE5C3677916","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":"Q1201342$BAFF7EC4-E69B-48A2-9EAE-E0775AA29A7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56433a78665d67a67ee953b774950e999b132e90","datavalue":{"value":{"entity-type":"item","numeric-id":2366337,"id":"Q2366337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97396b2446aef3e7c1a791899c6461239b434ed7","datavalue":{"value":{"amount":"+0.91581374","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":"Q1201342$A5693011-C774-4C69-A926-BBBFA8426BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483dfe619b6fdaa277b62772e3815435cb89275f","datavalue":{"value":{"entity-type":"item","numeric-id":3362990,"id":"Q3362990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17a041ccbea770f479d78935a0cf7443ba77f41","datavalue":{"value":{"amount":"+0.90340006","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":"Q1201342$E8A91BD4-8A06-4101-9F4B-C2F555091802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9741ff610e02b7bffe9df25bbde1e02b8720f3","datavalue":{"value":{"entity-type":"item","numeric-id":1902552,"id":"Q1902552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9816291905401cc8077a6e2c907ee70bf40c10","datavalue":{"value":{"amount":"+0.8917545","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":"Q1201342$825734FE-53A5-49BE-BD73-1283FE7265D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3715b164a3971805342db9b90e577c32374e8d0","datavalue":{"value":{"entity-type":"item","numeric-id":1908856,"id":"Q1908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70bd4f422e00bd06d6325150432e24344778371","datavalue":{"value":{"amount":"+0.8909772","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":"Q1201342$785764A8-C6C0-4FB5-8FF5-B7139DFC959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f0dec1c601bd3deb608dd0abb23f4e1f6d0fee","datavalue":{"value":{"entity-type":"item","numeric-id":2883032,"id":"Q2883032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2c08efce1b0e9a06208d42ccf92946ea660ce8","datavalue":{"value":{"amount":"+0.8808384","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":"Q1201342$50B516DE-2669-4916-8CD9-BB765FDD9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86210ab2cb70c11dce4d458cba33d95471205b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5884256,"id":"Q5884256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc24095c547f54f034dc3649955ba1d41d51f3d","datavalue":{"value":{"amount":"+0.877874","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":"Q1201342$3413B345-608C-43A9-871C-4CF3211ED022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1162f73617343e8c4b7ffb367c623aa158d8cd","datavalue":{"value":{"entity-type":"item","numeric-id":3145954,"id":"Q3145954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0ba8204ab001347b14d8fc7a8e79bafad086d","datavalue":{"value":{"amount":"+0.87674993","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":"Q1201342$582ACC01-D3CE-4D2A-BF97-0B7559FB9122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1c1edf77dfff249d1092972cfea1ce620fb94b","datavalue":{"value":{"entity-type":"item","numeric-id":3772179,"id":"Q3772179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe4b48c913eced587240adf67adc969f81e0ccf","datavalue":{"value":{"amount":"+0.8763431","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":"Q1201342$E43EA588-FC05-413B-92B4-C43BC3D0AFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edce05a20500dc13e48db55a14fc06e01b93dc31","datavalue":{"value":{"entity-type":"item","numeric-id":1802967,"id":"Q1802967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7014ab046a1e87ab69fb0820e720d827c06ced","datavalue":{"value":{"amount":"+0.87478447","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":"Q1201342$49FE0120-CDD9-4CC2-A91D-D94CC8674B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5134d3f62eed82fcc87622d6c253cc85c8bd8599","datavalue":{"value":{"entity-type":"item","numeric-id":4453640,"id":"Q4453640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3ec72633d688933cdce02b33fc3e2d5f46e51b","datavalue":{"value":{"amount":"+0.87285244","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":"Q1201342$628841EC-7C9E-4F2E-BDFC-431C95A505E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On external constructions in internal set theory","badges":[]}}}}}