{"entities":{"Q1288970":{"pageid":1299720,"ns":120,"title":"Item:Q1288970","lastrevid":67101477,"modified":"2026-04-12T15:17:25Z","type":"item","id":"Q1288970","labels":{"en":{"language":"en","value":"From Brouwerian counter examples to the creating subject"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1289860"}},"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":"Q1288970$67C08B7E-12CF-4057-B9CD-6CF275E3C312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5cbd4f01afb67fbacfc3f8ec3f482e52558472","datavalue":{"value":{"text":"From Brouwerian counter examples to the creating subject","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288970$DF1EB200-14B4-49BD-8DDF-C4602572BED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8499fc8c44fc995f4e785e415ff4805b069f8454","datavalue":{"value":"0922.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288970$5BADF25C-E0BF-4148-B358-252E0A75DB23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8b71a58e7746dc5b45775d6ce7c03688971d760","datavalue":{"value":"10.1023/A:1026411905257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288970$1D9BF6D7-2E5A-470F-8CCD-00D7B3EC7786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32703013e48b6fca4d8376e11e20595364f600e2","datavalue":{"value":{"entity-type":"item","numeric-id":451976,"id":"Q451976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288970$8525DE3E-A10F-4077-B6CF-8ACCBEEEDBC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288970$69AC04B6-187B-4D16-9500-97F495D34B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83fe9e06aa9d40cff90268e1038560222d3bf965","datavalue":{"value":{"time":"+1999-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288970$FE24A7CB-E1F0-45C9-879B-88955B970FCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46e6eae2cfdfb683c241eaa2a65c664d03d01af4","datavalue":{"value":"The paper begins with a detailed survey of the development of the creating subject method in Brouwer's work. The method is then used to show that every dense negative subset \\(S\\) of the intuitionistic continuum is ``indecomposable'' (i.e., if \\(S\\) is the disjoint sum of \\(A\\) and \\(B\\), then either \\(A = S\\) or \\(B = S\\)). This interesting result was announced earlier [\\textit{D. van Dalen}, J. Symb. Logic 62, 1147-1150 (1997; Zbl 0895.03026)]. The proof is based on Kripke's schema and Brouwer's theorem stating the indecomposability of the continuum.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$7F20DB6E-CBD6-442C-8A3A-E7B11C3251FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288970$57C843DA-616C-41B6-B7E2-8D6638818159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288970$FEB1D651-D4FD-49D8-BEE4-8A7592D65044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab70e5b2287646e1b37ed74871a9e02de52bb82","datavalue":{"value":"1289860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288970$13061AED-692A-427A-89AA-5C791A219E70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$44D30429-D32E-401A-AAC3-82E2C35B5717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78faf1b7d2b1f4d0f8a65f317b49249237521e5a","datavalue":{"value":"Brouwerian counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$F2A63AFC-F95E-4751-8F78-C14D0F77FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f4b4bfd3cc9f7ca801ad535f7337e3edd2867a","datavalue":{"value":"intuitionistic continuum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$9FF9E60B-F04D-42C5-98DE-D08D4EB177EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f296abd2df2856be9280d30fb06f054fdb7fef","datavalue":{"value":"creating subject","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$0CD04650-0C2C-4E3F-BF0A-24E64C42DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$34BF6792-240D-46B8-B410-68B59A4EC2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f212532f84bd2bbfa6970e49a85bf0344e2c691","datavalue":{"value":"indecomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288970$2B9E826A-2D09-4B76-A6D5-1D776B60B1D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c35b29d62764e885bd29a3001fc5bdbafbb9ec","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288970$BA4CE32C-A627-4A3A-8152-C4F51E59B164","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":"Q1288970$D1BFBD25-4778-484B-8BD6-8EA02C361D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e55692c1861883251f28d9f0a02a685edfecb65","datavalue":{"value":{"entity-type":"item","numeric-id":830395,"id":"Q830395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18b489f70677255c7fc7c0d095a74f4b36b3ad2","datavalue":{"value":{"amount":"+0.8196309208869934","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":"Q1288970$C3F8F348-3B6A-4E71-B436-1D028E636D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc8c49b4729db9c23232561504b7cb8dd3a0cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3590046,"id":"Q3590046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3751bfa6070a84aa656d12621ead436292b0b2d","datavalue":{"value":{"amount":"+0.7977092862129211","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":"Q1288970$974FA814-DA12-4205-ABEF-3D69D68073FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef11522fb9e3c22cc268fdf6f95b5ea7a3139ab","datavalue":{"value":{"entity-type":"item","numeric-id":1788337,"id":"Q1788337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bc074ac4228f41b832b85c24d0b37c35d61df7","datavalue":{"value":{"amount":"+0.7813570499420166","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":"Q1288970$7876BBA4-AFBA-40B7-B11D-9B978447F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c9a90083a6d5736ec72e6035767bf1273f1c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1094422,"id":"Q1094422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b87a836cea065860cb4acb0c8e9d2781187993","datavalue":{"value":{"amount":"+0.7706003785133362","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":"Q1288970$DE6E9F16-24A4-4C22-B617-C639677FE8D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Brouwerian counter examples to the creating subject","badges":[]}}}}}