{"entities":{"Q351838":{"pageid":353605,"ns":120,"title":"Item:Q351838","lastrevid":61171290,"modified":"2026-04-10T21:37:37Z","type":"item","id":"Q351838","labels":{"en":{"language":"en","value":"Relative Pfaffian closure for definably complete Baire structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185701"}},"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":"Q351838$3DB36537-B7F7-461D-8C27-FE2FEB4900DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b40843aa637cb5ef0bd5960080859149335acd5","datavalue":{"value":{"text":"Relative Pfaffian closure for definably complete Baire structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351838$09F1610A-776D-4258-9EE3-C728497FFEC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"842b7170c94e31489b346607d84023cc01ec8475","datavalue":{"value":"1300.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351838$6F3CF616-9A2B-477B-B1CD-2644C075F291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a37e4580e7c2c2112bcae252534e467de5f63583","datavalue":{"value":{"entity-type":"item","numeric-id":351836,"id":"Q351836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$1092A10D-97FC-4BBF-A4CD-977A4EB36EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aefad5d202c009368aaaca30767853284694db0","datavalue":{"value":{"entity-type":"item","numeric-id":351837,"id":"Q351837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$09422711-1381-4E33-A7FF-477F6D0F8410","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$3A9511B0-764E-42EF-816B-B51CC3D7A145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98b2d7d00e091c5e9dd9c5ce86dd92c2e394620c","datavalue":{"value":{"time":"+2013-07-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":"Q351838$E3299D2C-95E4-4DD5-8DBE-EBF2FB59B467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10b95bcb361edf788af9da6efa79e88b34c57a7e","datavalue":{"value":"https://arxiv.org/abs/0803.3560","type":"string"},"datatype":"url"},"type":"statement","id":"Q351838$5F512075-2D3D-4BF7-ADC2-30BA9A5C341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b2fef8e510eb351d39d5a01657cc1d1a1a1ccd4","datavalue":{"value":"https://projecteuclid.org/euclid.ijm/1369841803","type":"string"},"datatype":"url"},"type":"statement","id":"Q351838$D1471851-0663-4A2E-B1A5-59C56FF6F5FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1c95e10821d285f39ac1ecfd400f0affdb0c8e7","datavalue":{"value":"This paper extends the most important results of S. Fratarcangeli's Ph.D. thesis (see also [\\textit{S. Fratarcangeli}, Fundam. Math. 198, 229--254 (2008; Zbl 1147.03021)]). The main statement is: Given an o-minimal expansion \\(\\mathcal{R}_0\\) of an ordered field and its expansion \\(\\mathcal{R}\\) which is definably complete (Baire), the relative virtual Pfaffian closure \\(\\mathcal{VP}(\\mathcal{R}_0,\\mathcal{R})\\) of \\(\\mathcal{R}_0\\) inside \\(\\mathcal{R}\\) is o-minimal (here \\(\\mathcal{R}\\) does not have to be a model of a fragment of \\(T_{\\mathrm{proj}}=\\mathrm{Th}(\\mathbb{R},\\mathbb{Z})\\), as Fratarcangeli assumes). The result is obtained by following \\textit{M. Karpinski} and \\textit{A. Macintyre} [Sel. Math., New Ser. 5, No. 4, 507--516 (1999; Zbl 0953.03046)], including Wilkie's idea of taking the Charbonnel closure of an o-minimal weak structure rather than following [\\textit{P. Speissegger}, J. Reine Angew. Math. 508, 189--211 (1999; Zbl 1067.14519)], what Fratarcangeli did, and modifying the notion of a Rolle leaf, introducing virtual Rolle multi-leaves (not involving the notions of ``definably connected'' or ``arc''). A short discussion on the notions of a Rolle leaf is given. Another important result: for an expansion of the field of real numbers being a model of a recursively axiomatized o-minimal theory, the topological complexity (counted roughly as the smallest number of simplices in a triangulation) of a definable set in the Pfaffian closure of this o-minimal structure is bounded by a recursive function of the format of this definable set (this answers a question of Fratarcangeli).","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$F1D20D1E-29DE-4A7F-AA20-254BF7C16972","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c2bd62dc5ea44804a8decc307dda68e19bec635","datavalue":{"value":{"entity-type":"item","numeric-id":350787,"id":"Q350787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$0236D0E0-BF6E-4400-8DE5-139485EE91E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351838$21780161-EA77-49C4-AF50-EEE573181159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2529a9b895565c2771f86b9837cb7f7e37f3ecce","datavalue":{"value":"58A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351838$A4CF10DA-B7C5-4517-9FEA-4422C9B49FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c02c264fefb76e094e94907bf91a475fc8d3767a","datavalue":{"value":"32C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351838$6070C537-8C4F-422B-B70D-BEEF130C9BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a625bd33aa9f5d592cde8fb6c62be08d35d8a913","datavalue":{"value":"6185701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351838$9FDDC749-3BDA-4341-8819-7C76F4010DD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66dd4d597c3af60992cd372ab7a0f46dd50f6f1f","datavalue":{"value":"o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$678578BC-F08D-414A-BA8B-5CF8BB9A5E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f685fc25ab88203ccc1dd9378bdb13b4911b0e","datavalue":{"value":"definably complete structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$6D13B0D5-BE83-4425-A7A9-C76A0012AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb3a790a28d09a10ca386d5c4de043941f5151b","datavalue":{"value":"Rolle leaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$6038AA5E-56C3-4A42-BE14-5B8320A193E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0151c3840bc07d93092d0db830dc736b502d6c82","datavalue":{"value":"Pfaffian closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$431B79FA-2CC6-4474-A2ED-7D892D9FBCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012d977463d5424ed98c7a8122956bd77f6e0b35","datavalue":{"value":"topological complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q351838$DF0F9839-D4F7-4FD1-9B75-D36B86FD21F1","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":"Q351838$11E0F42E-F7D9-4055-93E0-B3E662156951","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dcf5c887276e75f63543622f9ee01a86252d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3522291,"id":"Q3522291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$64B4351E-21AB-45C1-9268-2A61DEE27A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4995aa6d2e2d8fa8672215c79d36390a98542bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3066707,"id":"Q3066707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$4C474DB9-8294-4155-B148-3F75A9521785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82673e4fc827f4de20ee646c01eb5f69b02dad0e","datavalue":{"value":{"entity-type":"item","numeric-id":4898995,"id":"Q4898995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$88D0F4E5-8C19-4ED4-A0A2-2DD02C027220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a17ce1392f3ec77d70141f0f10dc5e23511b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1971500,"id":"Q1971500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$C2857563-15D1-4AD6-BD57-548CA1442265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e27f24104ad2ea454ad1f1e9e29ca778219e3f","datavalue":{"value":{"entity-type":"item","numeric-id":4229348,"id":"Q4229348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$C34C179E-9678-4BEF-923B-958827868A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$34EF1331-D55C-4C89-88CA-5325011F6109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a1a2a6ff25f3445dddf07cc32ef8072a157819","datavalue":{"value":{"entity-type":"item","numeric-id":1922131,"id":"Q1922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$B82F9B62-0212-43FE-AA30-2441A72395F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b86b2e54b45c9bcaa36685917114010aa9819","datavalue":{"value":{"entity-type":"item","numeric-id":1971497,"id":"Q1971497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351838$7AC36901-2A38-4B47-9BF5-30F44A947ECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ec707a4bd1e15939de0b833a457bb135b5038","datavalue":{"value":{"entity-type":"item","numeric-id":3066707,"id":"Q3066707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98919c7f9edfeee15966ee5d1d4b055efc53bf08","datavalue":{"value":{"amount":"+0.90156746","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":"Q351838$54CFAFDB-DBA6-429E-96BD-92CED0814BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb8c9d29e705ede419a8583cb6fbf9e31b4179b","datavalue":{"value":{"entity-type":"item","numeric-id":2200828,"id":"Q2200828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2195de3128c182d17f92b5e4e0579bb004ae862a","datavalue":{"value":{"amount":"+0.86532927","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":"Q351838$183F26A4-F463-45E4-AB78-0BAAD453A4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa906e2c2a382be8a16785c2ff92cb444c1c431","datavalue":{"value":{"entity-type":"item","numeric-id":2403636,"id":"Q2403636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907eb099f5a5a153683faf1839c0265f96a67e23","datavalue":{"value":{"amount":"+0.8554786","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":"Q351838$09386446-E492-49E0-9990-24351F0837A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d4a5338ff59961e4c5cf56baef16d98ffb0318","datavalue":{"value":{"entity-type":"item","numeric-id":3723304,"id":"Q3723304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15799b28dec01b8e4319b2a537b609d820db9d4","datavalue":{"value":{"amount":"+0.85528445","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":"Q351838$C6B2E11B-D11A-45D0-8D58-28FC9D6825F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980c347fa7ba50acdce43ae83782d791643da71b","datavalue":{"value":{"entity-type":"item","numeric-id":4032652,"id":"Q4032652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcb827f3aba2ba6b15376da6d8608ad24e46537","datavalue":{"value":{"amount":"+0.853054","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":"Q351838$AD96CD04-DCBA-4F14-95AD-D46B918A7BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabf43fdc88d794c4b18ccbe77018d931d4ec5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5179275,"id":"Q5179275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5710d77bda5b4076f5f47fb1da47d7b6474a0013","datavalue":{"value":{"amount":"+0.8515693","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":"Q351838$83918571-953D-42F6-85EC-4D80C70BAACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77374390b02a3ab47003016d40f98a29eb7c39bf","datavalue":{"value":{"entity-type":"item","numeric-id":3824299,"id":"Q3824299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66929cdf8f41511e0236fd5c9ae29c2d46d5b917","datavalue":{"value":{"amount":"+0.8508979","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":"Q351838$0D6E3F24-9DED-4E00-9925-9CD0C6545417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976cc8514dcf43fd963cfa5bcb7f44a3faa34c87","datavalue":{"value":{"entity-type":"item","numeric-id":2684526,"id":"Q2684526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa8d95e00b07e3d6c0d599b04cbcfd641b44c17","datavalue":{"value":{"amount":"+0.8505593","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":"Q351838$CAE4DC15-4A28-4A42-8318-62917635BDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2672f5430de080db926be933d212fc8158d0c865","datavalue":{"value":{"entity-type":"item","numeric-id":5499006,"id":"Q5499006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded315b22c66b059818e6d5f63e39f7557e9c379","datavalue":{"value":{"amount":"+0.8485474","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":"Q351838$29A6B2F6-C454-46DE-B67C-DD54F922EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3e7d7b21659d2a66c2fa60a890f4df34b8a096","datavalue":{"value":{"entity-type":"item","numeric-id":3298258,"id":"Q3298258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987c7242093b9757369402790cd4cbbb66ddff6a","datavalue":{"value":{"amount":"+0.8449544","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":"Q351838$A3C34EDB-6FAC-4B20-B296-5619F791490E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative Pfaffian closure for definably complete Baire structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_Pfaffian_closure_for_definably_complete_Baire_structures"}}}}}