{"entities":{"Q866574":{"pageid":868422,"ns":120,"title":"Item:Q866574","lastrevid":64947279,"modified":"2026-04-11T23:17:49Z","type":"item","id":"Q866574","labels":{"en":{"language":"en","value":"Constructive characterizations of bar subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126413"}},"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":"Q866574$53FF67A6-EACC-4D04-B479-EA27B050C1A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2adfec1cedf92eeda953fbfa5164735bae18c35","datavalue":{"value":{"text":"Constructive characterizations of bar subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866574$98066943-1359-4794-9F92-874B1FAEF937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"624111beba06d5d697b79323904fff5087b62278","datavalue":{"value":"1154.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$237BCA41-BD33-4CE3-B89C-6692CB9946D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$FA14AB98-A1F1-4183-858D-56817D4F73AA","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":"Q866574$A75F66D4-4BFC-4528-9797-C7EA29D5AFE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866574$5DB56F1E-D239-41D3-8BC8-A928A3DF6E8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa32be1cf76666878e7d7c15a4404f0793322e64","datavalue":{"value":"This paper analyzes the notion of bar subsets for Cantor space, Baire space and, more generally, for an inductively generated formal topology. Presented formally, Baire space for instance is given by a generalized inductive definition which describes the covering relation between basic opens, where a basic open is given as a set of finite sequences of integers. This is an early example of generalized inductive definition, introduced by Brouwer (a little earlier example was provided by the definition of Borel sets). An arbitrary covering defines a well-founded tree. In the case of Cantor space, it defines a finite tree, without having to rely on a non-constructive compactness argument (K\u00f6nig's lemma). These notions are neatly represented in Intuitionistic Type Theory, and in the case of an inductively generated formal topology can be seen as canonical examples of generalized inductive definitions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$1AD7FA00-C4F0-4A6F-827D-8B880E15B0B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$8C429CDE-075F-4FDE-946D-77B4C34EED56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$69F6A813-D6AD-4E29-AA3B-A203B631A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$A91E3500-57C7-49A6-ACD0-AEA9F35D61F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$BC4E3D7E-F199-45CA-B408-3DCD31CDCDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b42b081045271385c66a0771717a164f2ee90d9","datavalue":{"value":"5126413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$4F1C6895-2ED6-4451-8208-1D3321114804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$EC50E856-6BA6-4194-97F1-92E62C779595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$7F327C27-BB7C-41D3-A334-B4BEA151779D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81236a7f56232f5b9bd79d44dd2b4a900bdb8ed","datavalue":{"value":"constructive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$9DFE983A-AFCA-47A8-92DD-34F228C4D7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$25774570-88F5-4BB4-88D9-656CE75CBAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$3DBAFD35-A74C-42EE-8848-99B3BCF5AFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9e563ed0014351b0838ab8cdca0c2d5dd34cfb","datavalue":{"value":"bar theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$98877DE9-4789-454C-B726-DE499E01CD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b39137b893d76cda8ac434ac65ff0625e331c71","datavalue":{"value":"generalized inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866574$B50E5B1A-86A9-4672-9ED0-BCD978959F17","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":"Q866574$CBB39C57-9CE7-4D12-9D0F-BCEB48CC9A99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f92bb213f007538839639c4fb0333cbb0ec8fc5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q866574$F8166337-CC30-408B-B378-F01E400905C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eec409676139146f005f329905b31caa438b89a4","datavalue":{"value":"W2076172147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$3C6605B5-74EE-443F-A6CA-FA7156464C2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$6A495FE9-5464-4494-8D76-1E4E7EC449E8","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":"Q866574$C5754416-DFD2-4668-BC99-2DE7BC6A3D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ff676cf1ae1ce48eabb0496a7c1220c11a3262","datavalue":{"value":{"entity-type":"item","numeric-id":5740350,"id":"Q5740350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$403F1AC0-3515-4805-AA7B-E4E454D3652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289e5708eb0cbb9a9dbb4d75ee2db63a898b6188","datavalue":{"value":{"entity-type":"item","numeric-id":5181669,"id":"Q5181669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$AB333B0A-EF91-489F-AAA3-023BD5D8C2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$EDF92206-0298-4D1D-A93F-6718E213D0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$8540386F-10DA-4A3E-B300-AB06CC1D92E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d583a014f94ffbe5c2d58985db23d4061ed52f5","datavalue":{"value":{"entity-type":"item","numeric-id":688845,"id":"Q688845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$6E3BB2BB-0CAD-4A7D-9969-2B68DA5A8394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db243e20cf694a8491ba7b48de16806e33c4d296","datavalue":{"value":{"entity-type":"item","numeric-id":5096257,"id":"Q5096257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$A701CFBC-E76D-41E3-94CC-1A6686906427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$E6A90859-25B1-4495-B706-9C93AE84CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf41aec6a4b9a1565a77b331ac491e250641fa0","datavalue":{"value":{"entity-type":"item","numeric-id":3118402,"id":"Q3118402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$47F93C4B-DC38-490B-90E9-3F63CE352766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a84ae0409947e5b936c8913850cf6274ef06c3","datavalue":{"value":{"entity-type":"item","numeric-id":1407560,"id":"Q1407560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$AEE1AEBF-7DE3-4B44-9332-73927D45753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a5f2304b34e9d75f0a702927fa5cb7aa4f529e","datavalue":{"value":{"entity-type":"item","numeric-id":5480621,"id":"Q5480621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866574$DD961A66-02D5-43B0-9C03-9CC1B182090B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06fe161231412c61777d72da8c700cbb7ca92898","datavalue":{"value":"10.1016/J.APAL.2006.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866574$E2A17440-15B7-40CB-A03B-E530CAE05FE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a94c3ea0597c41fd971e504ef66a33a331a23","datavalue":{"value":{"entity-type":"item","numeric-id":3679173,"id":"Q3679173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680cf22cbe6e3dfa9621387025cc96da8611aa05","datavalue":{"value":{"amount":"+0.7419445514678955","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":"Q866574$F6FB27BF-0FF8-472D-838D-559ADC886B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2685e4c118f8507072c33cdb4103db65f0c193b","datavalue":{"value":{"entity-type":"item","numeric-id":1407560,"id":"Q1407560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58eacb169fe8ecb337fc364bd08a1686aeb8c66d","datavalue":{"value":{"amount":"+0.7326378226280212","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":"Q866574$E3A1F0E7-5600-417B-9F06-A0859F3A1535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be76e6b27f037d09ba8e6ac2ff6cc330f087df16","datavalue":{"value":{"entity-type":"item","numeric-id":4981443,"id":"Q4981443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8536d95889b63b527c9aa80e1188c68204b2a2d","datavalue":{"value":{"amount":"+0.7198394536972046","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":"Q866574$13F528AA-430B-4857-BBEB-6A40863EDFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0dc6de868d99820cdca96b15c9ac1eb3d01835","datavalue":{"value":{"entity-type":"item","numeric-id":2575773,"id":"Q2575773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2c6b02d67234d7c795de6891f2c1c673dbbfbf","datavalue":{"value":{"amount":"+0.7141598463058472","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":"Q866574$D72A2F20-20B7-4225-A1C0-0D614C65BB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34d9ab5fa6b48918eae73eac946c3baefb0ce53","datavalue":{"value":{"amount":"+0.7122633457183838","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":"Q866574$2A7B2ACE-66F1-40AE-AC4A-43A633D678F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive characterizations of bar subsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_characterizations_of_bar_subsets"}}}}}