{"entities":{"Q866888":{"pageid":868736,"ns":120,"title":"Item:Q866888","lastrevid":64980687,"modified":"2026-04-11T23:31:12Z","type":"item","id":"Q866888","labels":{"en":{"language":"en","value":"Complex analysis in subsystems of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126638"}},"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":"Q866888$4C5FCBAF-4223-466E-AC18-1D684A84FF8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e58e678d87bde2e7dfcc656f6b282848313c9097","datavalue":{"value":{"text":"Complex analysis in subsystems of second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866888$7DBCE7E8-A9B7-441C-A1BE-957449ED0F88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aed9496cbcaa338ba79b16ec9e9139d975d44f6","datavalue":{"value":"1112.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$64AB26F1-D39C-4D7B-843F-0437542314F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$2EEA1969-71D7-4506-8E85-444744E582F8","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":"Q866888$8A1DE723-83BE-4B76-8C1A-2F34A2507CB9","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":"Q866888$CF54E9E5-3600-433A-98AE-818BA53761DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecd9d5e25ae48db4554957dffe12a55a87a30ac3","datavalue":{"value":"This article, based on the author's masters thesis, formulates several theorems of complex analysis and analyzes them in the framework of reverse mathematics. The code for a holomorphic function includes its derivative, and the code for an analytic function includes its power series expansion. Using this encoding, RCA\\(_0\\) suffices to prove that the class of holomorphic functions and the class analytic functions are identical. The author proves in RCA\\(_0\\) a version of Cauchy's integral theorem restricted to functions with moduli of uniform continuity, and shows that a more general formulation of Cauchy's integral theorem is equivalent to WKL\\(_0\\). The article also includes a proof in RCA\\(_0\\) of Morera's theorem, a number of other results, and a reference to a preprint on a reverse mathematical analysis of the Jordan curve theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$6E88D0D2-49B8-4CB3-96A1-C1108A973E5D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$BD23391D-B9B2-4CDD-A22A-5B83A94A464C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$381A30AB-60B4-4565-AEAC-6B7D76D61DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$EF5EA0B1-5DEC-4CB7-A9B7-DCDDD681C9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dbec1b36418ccf0ae32f2565052a978a1f5b7f1","datavalue":{"value":"5126638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$E1190AB4-0534-469A-BD70-77F9092A6BCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$40B4E658-A046-4A4F-A5FC-987D42EBB8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$4B056391-0F2C-448A-9678-0625077142C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d6e8b0c3745380e2ec171eb9d2a401c76b114f","datavalue":{"value":"Cauchy's integral theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$E1E8B03A-956F-4393-B4A7-A2EA5E4B9EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"889c759a9b6a237bfc3525ca66494f1b7bdbb5e3","datavalue":{"value":"holomorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$F6FD96BA-DEFF-42DB-AFD3-C3FFC2236F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5349d9307d3fe5e20a01d3d597b21a9df011bb55","datavalue":{"value":"analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$FB8D8411-A8D2-47E6-88E1-E2993412118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9154229dd010f60d63cd061ff0a37f7f7f3ccb","datavalue":{"value":"Morera's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q866888$7684B0C6-2F03-42A5-B6FF-7A5A0EF958A4","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":"Q866888$D0791337-AA02-4DBE-8AD5-2A14E16BBCDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2331f979cab14cf8cc5a66ecf256ee9ea61c9f11","datavalue":{"value":"https://doi.org/10.1007/s00153-006-0017-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q866888$3D8BF2BD-883A-49AF-BE9D-6E35C0DC1ECD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4ef05e8190c9336391f797456f115966251c059","datavalue":{"value":"W2039034939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$143F21D1-C0E0-49F2-9D2E-232F918862DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd7135f3314a1a9a9cd8efb8644e179b99d9907","datavalue":{"value":{"entity-type":"item","numeric-id":5535091,"id":"Q5535091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$F5ADB39D-F509-4825-8992-19CD79240345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f06d154f8b8e0a6fad65a2fd75db4c9dc24d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2758063,"id":"Q2758063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$B5B4ACB3-B700-41EC-BC3C-95907472E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8182072213858cb8f57440f94cf626290786b1fa","datavalue":{"value":{"entity-type":"item","numeric-id":701727,"id":"Q701727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$49A57775-A0B9-44C8-BC7B-155F4344744D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f98fc09ef31999232f467a1f6733fd3701943a","datavalue":{"value":{"entity-type":"item","numeric-id":884957,"id":"Q884957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$7D158152-5A58-4D85-864B-59B6DB6082B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$FE31B528-ADDE-48E1-AA73-4216BD8C9002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$08BFFCD4-CD1B-4423-938B-B8D473CB535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ac8787e7c7893030486590f5fa75efd9f4d57e","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866888$BBA6CA76-C28A-468F-B080-ECA60897BF2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"095f50b756e02ad1cddce7cecf056cdfadcb92f6","datavalue":{"value":"10.1007/S00153-006-0017-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866888$5427A368-0C78-4BF9-ABF9-34B714F6AB90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0c966deeaad38523406851fc6f555035e23075","datavalue":{"value":{"entity-type":"item","numeric-id":2368910,"id":"Q2368910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80e0461193389da5c308a8b27816dd6991baf19","datavalue":{"value":{"amount":"+0.90578973","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":"Q866888$59BA2CBD-72D0-4AF0-AE6C-2DCAE929C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24977802fb61c40fa14382a0440ce05c99a5a7b0","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d96241ddea6d8a418b00d6cf457e1d4d06cd10","datavalue":{"value":{"amount":"+0.9022678","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":"Q866888$19CB72BA-A245-4BEE-A17D-7E9C96189960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d38cfbca0402d86cf78410fd3ead83e409b04e3","datavalue":{"value":{"entity-type":"item","numeric-id":3069633,"id":"Q3069633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5404d919d994d358c5873a41229fd9b54de4fe82","datavalue":{"value":{"amount":"+0.9022677","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":"Q866888$68280C3B-D50C-4C40-86A5-112A64D75106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5404d919d994d358c5873a41229fd9b54de4fe82","datavalue":{"value":{"amount":"+0.9022677","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":"Q866888$3FAE53E5-B262-46DF-B7E5-7C9CECF3EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33cd88f3ba7f8fd69ea84c6a1bb2ac8259a1169","datavalue":{"value":{"entity-type":"item","numeric-id":5187490,"id":"Q5187490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0411d974913a16cc48a40e4ef2e23317d0b0462c","datavalue":{"value":{"amount":"+0.88154685","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":"Q866888$F6B91EDA-E09F-49FF-A3A5-E3B6C3265F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eade0a1c083d1387039466f9a501ea8222d00db2","datavalue":{"value":{"entity-type":"item","numeric-id":4541819,"id":"Q4541819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7565bce7173f480c2d630d387478e91c9a2e1ef","datavalue":{"value":{"amount":"+0.8798311","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":"Q866888$5D65D02E-C330-4436-99DB-FCF561CA155A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787a7e27096130e11995acfbac9a16112c172f9a","datavalue":{"value":{"entity-type":"item","numeric-id":4800025,"id":"Q4800025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76985baee8ac009be552629960aa21cb17ecca","datavalue":{"value":{"amount":"+0.87842596","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":"Q866888$24202F0F-2330-4812-BC23-188A6EF694EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1417c66158a688b1ef40ea8ba7ec511fe4620f19","datavalue":{"value":{"entity-type":"item","numeric-id":5533386,"id":"Q5533386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76985baee8ac009be552629960aa21cb17ecca","datavalue":{"value":{"amount":"+0.87842596","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":"Q866888$783C4CC5-7D67-4BEE-93EB-46607F63D008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89122b93bca68cf5bda1bace996fb03de9bd90ae","datavalue":{"value":{"entity-type":"item","numeric-id":3778204,"id":"Q3778204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb76985baee8ac009be552629960aa21cb17ecca","datavalue":{"value":{"amount":"+0.87842596","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":"Q866888$BF19F91F-AE8B-4D50-A9FF-2EF162F9479F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complex analysis in subsystems of second order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complex_analysis_in_subsystems_of_second_order_arithmetic"}}}}}