{"entities":{"Q1908820":{"pageid":1919562,"ns":120,"title":"Item:Q1908820","lastrevid":69431880,"modified":"2026-04-13T06:57:47Z","type":"item","id":"Q1908820","labels":{"en":{"language":"en","value":"Creative subject, Beth models and neighbourhood functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851911"}},"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":"Q1908820$87697C69-D8D4-4526-8240-5F1782CCB2D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dc9be788d9707e41dd47b77982f72d235d55344","datavalue":{"value":{"text":"Creative subject, Beth models and neighbourhood functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908820$E79BB137-CBA3-4147-9265-C8F44F2519C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaffefbc1f4b9bc58f0aacabf969ba4ebe228d75","datavalue":{"value":"0848.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$2467AED3-B86E-4992-95CA-7BB3B2B132AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5ff7aa27a5bdef934f5fcab1ae61184577e8e6","datavalue":{"value":"10.1007/BF01273687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$C769F2A3-49CC-4E96-AE47-AC0D644BD9D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$73D85CF0-E9E7-4ABF-9B8F-1D1F17F4C128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63eca9d42c7a29272318f097590a3d825a5d4718","datavalue":{"value":{"time":"+1996-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908820$D675EFF1-E39D-4642-8E39-C7FADE45FF25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e303b9c23181b54cb3b1366353089284318ff014","datavalue":{"value":"The activity of the ``creative subject'' (or the idealized mathematician) was treated explicitly in various of Brouwer's works since 1948. In order to develop a semantical analysis of Brouwer's basic idea, the author considers some extensions of Heyting first-order logic with the ``creative subject axioms'' based on the first-order language enriched with the new logical operator \\(\\square\\) making it possible to express the central notion \\(\\square_n A\\), meaning that ``the creative subject has evidence for \\(A\\) at stage \\(n\\)''.    A Beth type semantics for the considered systems is proposed, followed by the corresponding completeness results; and some statements concerning the conservativity of certain systems with respect to Heyting first-order logic are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$16CFBECF-519B-4536-B7EA-4E134976D49A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$A5632AB3-9F12-419D-97EC-DB3E0D0922B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$EB27C256-F745-4872-B50B-AA55D716FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$343666A7-E78B-49B9-A874-F33A392F0C0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29aaa514b19989e2389a51b374018a817e5fc1bb","datavalue":{"value":"851911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908820$3FDDC3A2-5E41-44CB-B5AE-CA21D3822BC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93adf4985d12d5e866ff4d06144ddd723b10f97b","datavalue":{"value":"semantical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$23A48D85-2895-4FE4-A145-CCE1B8569B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e1c282cfeefcb46e16ff0b81cacd4e02035c19e","datavalue":{"value":"creative subject","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$71E4A021-9647-4D77-ACBE-F0A00768B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b6affda8ca4df41395692eb1d2e5eea31a35cf","datavalue":{"value":"Beth type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$3436C312-E256-4C3F-9422-FA126314A3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$0C536F90-8F1F-43EA-A013-AACDCA24B7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa02414746df27baf5a3b20262ae979d12c7d761","datavalue":{"value":"Heyting first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908820$4C1F1BC9-5C15-457E-804C-16415D957C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8df4cb13a509b9920268449820b6d1c56d9fb","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$B2C39DFB-C1C2-40B2-8230-25923336D74B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$49CAB337-DB1D-4A1D-BF68-9C01B9771E5D","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":"Q1908820$6288FE08-A179-46E5-8CCF-14E6835CFD10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b151bd5525a43285598caa0111197afa77a12f","datavalue":{"value":{"entity-type":"item","numeric-id":5827967,"id":"Q5827967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$2089C471-083F-46FE-93F0-E4A11471B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8b7aeeec3375d39cd6b775b42a11dd7513fd9f","datavalue":{"value":{"entity-type":"item","numeric-id":5827968,"id":"Q5827968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$DA89336D-89AB-4E4D-AAF1-428339D5296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$9DDDB788-D114-46E6-A121-E093C417444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$160D533D-945B-4873-8621-1AD2BB43AC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043759b50703e3dff785353894ef9305d1dbb3a","datavalue":{"value":{"entity-type":"item","numeric-id":5796582,"id":"Q5796582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$84C07106-E550-4DA0-90CB-872B3A38BEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$521749A0-0F3C-4CEB-81E8-0543DAA051C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8e14d229d07bc140cef680490ace3991512934","datavalue":{"value":{"entity-type":"item","numeric-id":4159360,"id":"Q4159360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$A756AB31-7186-432B-B9A3-A39435544879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$7E83FE39-D8B2-42F9-8BCF-5CA2E17DA50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$4598A5E5-8ABB-4656-B875-8D597F4DAD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34297393da302b6883387b42b35969e0bac085ff","datavalue":{"value":{"entity-type":"item","numeric-id":5579001,"id":"Q5579001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$E4156B7B-F7FF-40D2-A00A-0C0FEB258F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f793c33beae66df45fc749bdcb6797126166a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5600854,"id":"Q5600854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$A5FD0963-32C0-48C8-B79F-44DCA8E71082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d4c9ff3dbe29b6d2a7c2d8a1009982be04dc81","datavalue":{"value":{"entity-type":"item","numeric-id":5604439,"id":"Q5604439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$61F94790-E41C-40F7-AF15-C38E96D128CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14154999be7ea0ad567942cef9734b9fb07fe517","datavalue":{"value":{"entity-type":"item","numeric-id":4109646,"id":"Q4109646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$CDD25741-BEEC-40EE-97AD-CAB3C01DCC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$CC82EBA1-89C4-4210-A27E-AF0D4A4D087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae99f13f02e4409a0a1f87f0ae24b3d0e3c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2534695,"id":"Q2534695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$CC9DC5BF-497E-411A-AA3A-E9690C0938AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908820$D6DC5E4F-181B-4AB7-BF1E-E83AAB4F280F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e9823fb7f388b137432bba80b9ee367e363cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4872721,"id":"Q4872721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5090fe7cb78e0a23bdc27bcdf45a5609eb42fbab","datavalue":{"value":{"amount":"+0.8488262295722961","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":"Q1908820$9E39DFD4-2348-4E86-B488-4CFEF6A606FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9809881b1b50f8cdda178182b32aeed043e64ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3125926,"id":"Q3125926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90135f5bd0919cf1db67eb99a3703d94cde36987","datavalue":{"value":{"amount":"+0.8214399814605713","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":"Q1908820$C309089F-4670-458A-8AB1-5DBCA5A9A6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c97dbc4826fa5e360d3de795266b3700643ea14","datavalue":{"value":{"entity-type":"item","numeric-id":3786480,"id":"Q3786480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb54887b20a9e938c27e4b344c1ae14437eeade","datavalue":{"value":{"amount":"+0.8100423216819763","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":"Q1908820$E0EA268D-D236-4FC2-B803-9BEFD8EA10DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Creative subject, Beth models and neighbourhood functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Creative_subject,_Beth_models_and_neighbourhood_functions"}}}}}