{"entities":{"Q914822":{"pageid":916670,"ns":120,"title":"Item:Q914822","lastrevid":65316498,"modified":"2026-04-12T01:45:11Z","type":"item","id":"Q914822","labels":{"en":{"language":"en","value":"Germ representability and local integration of vector fields in a well adapted model of SDG"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150469"}},"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":"Q914822$854FDD94-F243-4792-A20C-0B5567BC1FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71455ba7e2c8f1390275c5eb3caf38e5a0cfc2ed","datavalue":{"value":{"text":"Germ representability and local integration of vector fields in a well adapted model of SDG","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914822$72C30ECB-577C-4886-896F-07EE23ADC143","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a839c2822f29edd110ed3791946c0c7481bcc39","datavalue":{"value":"0702.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$1FD4B2D9-6CF1-4A21-ACB9-C8B1D65A33F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc6219b1a7e73c3e09bb9ca6e8c45d790328896e","datavalue":{"value":"10.1016/0022-4049(90)90152-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$2EB36B9B-874E-4634-BFCE-A4658BD62C15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4d4232c38865860290a7c0a5efe31615ce5656","datavalue":{"value":{"entity-type":"item","numeric-id":435207,"id":"Q435207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$55314C96-1785-473B-8DDC-1DDCB5D2EBFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$4D36E75D-5178-4F0C-AA47-FA68A8C6BF33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914822$605842F6-DE4C-47D8-8556-282354C800A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72d45a5d410b4187eaa6c46657ab2bce7467db57","datavalue":{"value":"The primary example of a ``well-adapted'' model of synthetic differential geometry is the topos G constructed by the author [Am. J. Math. 103, 683- 690 (1981; Zbl 0483.58003)]. There is a full embedding of the category of paracompact \\(C^{\\infty}\\)-manifolds into G, which preserves transversal pullbacks and open covers. The article under review shows that the real line object R in G satisfies two additional axioms of interest: a germ representability axiom and an axiom for the local (infinitesimal) integration of vector fields. After reviewing the construction of G and some facts about Penon opens in G, the author proceeds to develop and prove these axioms. Some of these ideas are pursued at greater length in the author's joint work with \\textit{M. Bunge} [Mathematical logic and theoretical computer science, Lect. Notes Pure Appl. Math. 106, 93-159 (1987; Zbl 0658.18004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$15777A06-C88C-48E1-AADE-2DFF1985D20A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48db147c5e34d12323b540c46f6a307710a26b22","datavalue":{"value":"18F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$6A6E4B18-3FEB-4D9F-A451-30E6D472B69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$657AD0D1-FD6F-47C2-8FC8-98E66FBF7AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db922fac595732b6c99c9f9cb86aba40dd3aaf9a","datavalue":{"value":"51K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$D4D041FB-34EF-4F1A-A960-029A34FF6055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a657f1e7dea0fdc9a91fa9d442212bda5b56bbab","datavalue":{"value":"4150469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$DEC87873-45B8-4580-99CD-6FEE2DB1BE43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83987f3669a2d69b078abe509dc540f06e448a52","datavalue":{"value":"local integration of vector fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$41949C34-9352-4A43-9AAB-E7F44B49F7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b969da63472ffe4fde8d62b78c11bad15b52f59","datavalue":{"value":"synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$D013E236-A933-417F-A534-ADFE15BA19CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94e389b498021e89656b660bc2e0f4521ccadc7","datavalue":{"value":"paracompact \\(C^{\\infty }\\)-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$6C14BD46-BBC6-4630-87B2-9ECEC8590D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3ec76c66372f5ca361a8cd09610feaa3c62f288","datavalue":{"value":"germ representability axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$A5E07919-79C2-47FC-AD49-F8A4154DDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0be118ee8da352deac32b47b239ab1ff79d6589","datavalue":{"value":"Penon opens","type":"string"},"datatype":"string"},"type":"statement","id":"Q914822$9A8EBE3C-ADFA-408C-BFE5-FE0AB7FFD01C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$CC7CEDCA-61DD-430E-AB03-74AF70696F38","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":"Q914822$C90FAFE9-44F3-48CD-ABD6-97AB5EB44C19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641007a23901bf2897fe92295c901a3cfd645ad4","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90152-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q914822$328665FB-2F82-4491-93FA-3969AEE2A716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c056168d53117734a367853d7777f69fc16dd711","datavalue":{"value":"W2005186074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914822$711DBFE9-1F3B-43C2-8C95-39941543DCD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47db51c133ad5ebc4196ce5c664e4e200dbc075","datavalue":{"value":{"entity-type":"item","numeric-id":1094524,"id":"Q1094524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$A2D52874-9315-4AFD-80EB-EE7E6B5D853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6210ad280564e7f5a2340658235a797f47d79a3","datavalue":{"value":{"entity-type":"item","numeric-id":3807405,"id":"Q3807405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$0A6EC263-AC60-4DA5-88C2-AA312A9CCBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cafff5dbdddebbc91481dac578f693c07bccc94","datavalue":{"value":{"entity-type":"item","numeric-id":3942087,"id":"Q3942087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$CA50A529-00FB-4A44-87E3-1904E3B0ED2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21aa0db125fca37f7b7cc6240345a03cfae8704b","datavalue":{"value":{"entity-type":"item","numeric-id":3926774,"id":"Q3926774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$EBE4259F-4943-4FE9-8AF1-DA98EA4AA202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0038aa9ae576061ce12de050a8f1baac41b4a8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1086339,"id":"Q1086339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$6B80A3A7-649A-4D12-9C29-CECFB57C075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac595f2bf600693d409c11bfc5351c26fdd1d058","datavalue":{"value":{"entity-type":"item","numeric-id":3223016,"id":"Q3223016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914822$49161E15-328A-4E83-8717-09B7314492C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ff0271b3c486c6bc14db34d7d93d18561c2b2a","datavalue":{"value":{"entity-type":"item","numeric-id":677608,"id":"Q677608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c139c7fb0f3fb16da64175ad3eb0d02406dc8717","datavalue":{"value":{"amount":"+0.8062113","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":"Q914822$0FD74C79-6166-41C7-BF89-89D4C231DDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093cd6a031b06ec2b36ba7116ff1d03f5929905f","datavalue":{"value":{"entity-type":"item","numeric-id":6110515,"id":"Q6110515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaa6d0dc5db8156c783ab352b42179bf0bdcb45","datavalue":{"value":{"amount":"+0.800521","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":"Q914822$F07223A3-4401-47E1-9634-3074BF89B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bd5eedd2a7a79e887624721c93e7a29922001","datavalue":{"value":{"entity-type":"item","numeric-id":501189,"id":"Q501189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1cd9854017eb99a4009c218afa75345e641717","datavalue":{"value":{"amount":"+0.7874723","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":"Q914822$FA57A721-CF3F-4097-B430-098844AF1091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4df2300078d3c5b35c18b9edab2f02815b0b44d","datavalue":{"value":{"entity-type":"item","numeric-id":3807405,"id":"Q3807405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bd003ef907f6d2c4b2154fef6b40c68dedcf31","datavalue":{"value":{"amount":"+0.7869848","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":"Q914822$94776FA1-2123-4FC0-8451-8AB1B56A26BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62d4a58c092aeddbd77e31d148970001e037b04","datavalue":{"value":{"entity-type":"item","numeric-id":950591,"id":"Q950591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b25f1836f0054d0a7d492eeff72f3b4db2b499","datavalue":{"value":{"amount":"+0.78104335","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":"Q914822$7704B1FE-DD2F-4EE8-A4C9-6D658598B446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e9f48d1bd8ef6f6fd3c1f5b7663ff91ff90ef","datavalue":{"value":{"entity-type":"item","numeric-id":4327725,"id":"Q4327725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1917e5cd8f9655ed67e5fb5339c7551f634cb7f3","datavalue":{"value":{"amount":"+0.7798161","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":"Q914822$F0682972-BC02-4B97-B79C-9661044849A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e7d66bb00fda6c6027963796d93f36d560c3ac","datavalue":{"value":{"entity-type":"item","numeric-id":1083077,"id":"Q1083077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9924b747439fa40f22991d4775c52b73a2d3cba","datavalue":{"value":{"amount":"+0.77704656","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":"Q914822$44F603A1-7468-4894-B9D9-00B37A96B21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a92b3beec01c05580fa1a2aa353d082da0191fd","datavalue":{"value":{"entity-type":"item","numeric-id":2015833,"id":"Q2015833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83748f49f2984d931d758a9c32e8bd7aab936029","datavalue":{"value":{"amount":"+0.7740532","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":"Q914822$F5D6D960-82C0-4BCE-96BB-D9C85DFBE9EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Germ representability and local integration of vector fields in a well adapted model of SDG","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Germ_representability_and_local_integration_of_vector_fields_in_a_well_adapted_model_of_SDG"}}}}}