{"entities":{"Q1094524":{"pageid":1105276,"ns":120,"title":"Item:Q1094524","lastrevid":49112023,"modified":"2026-01-06T14:58:11Z","type":"item","id":"Q1094524","labels":{"en":{"language":"en","value":"Vector fields on \\({\\mathbb{R}}^{{\\mathbb{R}}}\\) in well adapted models of synthetic differential geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025661"}},"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":"Q1094524$E23E71E5-B751-4C2C-8A90-61B27979A689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bcab611d8abb64ac030a042c1db2977632c57f","datavalue":{"value":{"text":"Vector fields on \\({\\mathbb{R}}^{{\\mathbb{R}}}\\) in well adapted models of synthetic differential geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094524$5E534667-2386-4C0F-8593-8740B51E7508","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c129a1b0b61644583e01c633d97fd9270af1362c","datavalue":{"value":"0631.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$644A0D7D-D408-486C-9396-ACFFB64B1469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f06a56dd2c29e95540de5423333713e6806ceea","datavalue":{"value":"10.1016/0022-4049(87)90080-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$C27D397F-5FE0-47DF-9FF0-0A87F8AD7C25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85b7aa749c0b08af17820be67f54c55a97b0b81f","datavalue":{"value":{"entity-type":"item","numeric-id":184839,"id":"Q184839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094524$4F03374B-3542-4FE3-B3F6-0245638F91EF","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":"Q1094524$D6AC28BD-5BBA-430E-A311-D1C48251E157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094524$4551632C-DEC8-4911-A2E3-4D9A4D625BB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df53dfc3c12ef1dfed3bd3cd68bca92ac945f82d","datavalue":{"value":"The problem mentioned in the title of this paper is probably less important than a result established on the way to it, and which deals with (not necessarily linear) operators \\(G: C^{\\infty}({\\mathbb{R}})\\to C^{\\infty}({\\mathbb{R}}^ p)\\) which are smooth in the sense of \\textit{A. Fr\u00f6licher} [cf. Lect. Notes Math. 962, 69-81 (1982; Zbl 0498.58004)], namely: if I is a sufficiently good ideal in \\(C^{\\infty}({\\mathbb{R}}^ n)\\), then the parameterwise extension of G to an operator \\(C^{\\infty}({\\mathbb{R}}^{1+n})\\to C^{\\infty}({\\mathbb{R}}^{p+n})\\) preserves congruence modulo I. [A generalization of this result, in several directions, appears in the reviewer's paper Bull. Aust. Math. Soc. 34, 395-410 (1986; Zbl 0596.18006)].    A consequence is that such operators may be identified with maps between the corresponding internal function space objects in some of the good topos models for synthetic differential geometry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$404335AD-0945-46B8-868D-353C92A642BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06053073f43b1cb7a30d04c3029abef6e6536b0b","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094524$663A6043-5E4C-4C1E-8217-0C1D7B833DBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48db147c5e34d12323b540c46f6a307710a26b22","datavalue":{"value":"18F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$447EF574-CA55-43C0-9AA2-21A475BE8A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f9f02924776a171badee06b136b9d063215323","datavalue":{"value":"58D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$4A2EC9CA-95C2-4DF3-B0F7-885569ACA130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$3C5DC01E-0218-4F85-BED1-798144132030","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5a089540b2ae9ac573a45a743dd2e4dd6a86a2","datavalue":{"value":"4025661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$D0911B2D-A778-426C-BCD6-CDEFDBD44E91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806a42533487d582d9b74291a1e69188dc56d444","datavalue":{"value":"infinite-dimensional manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$10C6AEA7-AC6A-4079-BBF5-8E9E72B4A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8bd03064228bee59b8a125c9d40fdf30e22ca0","datavalue":{"value":"smooth operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$E9454B81-6124-4684-9AB5-561FBC6DB26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba6b7249e69e160c23f7eeccea8bfb6128e0e65","datavalue":{"value":"integration of vector fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$8814BABF-7523-490C-A967-18EA0F7D1873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8557fb7556c228fd7cc01df11a1f969b69263481","datavalue":{"value":"internal function space objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$550E82F6-474F-48E7-8C0D-682C8E743B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$D0699049-0E5D-4CD8-83B6-1299C903F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55169b54acd8188ab57f7c80e99abb8d72fa0760","datavalue":{"value":"models for synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094524$264983E1-A947-4114-A85B-10CF70E8DD9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c7492e9702be2382ca36470a8282e7637af819a","datavalue":{"value":"Q115364447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$7CE6B74E-A642-44CB-B893-80A5AF1245BF","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":"Q1094524$9EF6B3CA-836B-44A5-A40C-C705B4F04267","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f36cc367b249768a53db3d75cdcc6408354cfc4","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90080-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094524$72B79209-2163-4ADB-8AF3-D45F25414177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"680674bcad07d128ff5fdf65ba7d2c7763474afd","datavalue":{"value":"W2073374201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094524$0AC656BE-6422-4467-98D3-973255C557A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70c40404f5b77be080bc90544f1781ba27e23a2","datavalue":{"value":{"entity-type":"item","numeric-id":3927377,"id":"Q3927377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094524$71B66079-3A74-4E4E-97EE-AB8361B7F49B","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":"Q1094524$C18CE583-2861-4076-9B11-0466FFA2A410","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":"Q1094524$AA0DCB4D-4428-4F42-9704-69EAB352802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4486af2af04402bab7a12313499ae91dc1c15c","datavalue":{"value":{"entity-type":"item","numeric-id":4239753,"id":"Q4239753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094524$0260A766-057F-45E1-ACFA-2FE29F709B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d8d79b1b1e2ed4becb7c267cd47ebd99c6d650","datavalue":{"value":{"entity-type":"item","numeric-id":3333645,"id":"Q3333645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094524$232E9B35-FAB3-4169-BB58-2B7F3208C837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60232d719ffdbfc239e916dab8968a56af19fd5","datavalue":{"value":{"entity-type":"item","numeric-id":3333645,"id":"Q3333645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629862730c86cbe1b8b4e205c8a32edabe96deb8","datavalue":{"value":{"amount":"+0.7703979015350342","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":"Q1094524$7D505D06-64CF-4133-8F3A-FCC302CA9252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0f8b979b0e93faa60bd95b021934a272699f74","datavalue":{"value":{"entity-type":"item","numeric-id":914822,"id":"Q914822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561d32ed515857be88e311ed5906875ba8624b60","datavalue":{"value":{"amount":"+0.75409996509552","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":"Q1094524$E5997778-C7DB-4D98-A0E9-1700485626A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d1aa3550cc60e7d44a63b3a4fb31ccea1bc193","datavalue":{"value":{"entity-type":"item","numeric-id":2998683,"id":"Q2998683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be9225e13dde3e6c2eac763fe0e10c8679e4d70","datavalue":{"value":{"amount":"+0.7352442741394043","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":"Q1094524$6DF483A7-46B3-4AC9-871B-150952EC6149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ba84c962424db96a015f3d2f2c4d8a591625dc","datavalue":{"value":{"entity-type":"item","numeric-id":790924,"id":"Q790924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14aa4278914c11dddf9fdd744614db1558cae775","datavalue":{"value":{"amount":"+0.7328633069992065","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":"Q1094524$ABBEC997-6DB2-4A2D-81A2-3E094D1CCBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01ec962cc7515e9b5ed2249a3796870682a793f","datavalue":{"value":{"entity-type":"item","numeric-id":3728201,"id":"Q3728201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36003740f5eed9876aaa02d8b6392d4e2b38f133","datavalue":{"value":{"amount":"+0.7318646311759949","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":"Q1094524$88494162-9E70-4923-9357-E2CD7F308C6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1094524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1094524"}}}}}