{"entities":{"Q1316505":{"pageid":1327255,"ns":120,"title":"Item:Q1316505","lastrevid":67404375,"modified":"2026-04-12T17:23:39Z","type":"item","id":"Q1316505","labels":{"en":{"language":"en","value":"A metatheory of nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515586"}},"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":"Q1316505$612B1885-484E-4088-988E-0990B34421A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1caa68ffeb4690e68e3127e1edc3194f73155b4c","datavalue":{"value":{"text":"A metatheory of nonstandard analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1316505$4827E011-8805-4297-AA22-3A02BF9725DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0cea0a2e2de1da857b34bbd89d6eecfb42d8c96","datavalue":{"value":"0794.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$C091336A-DFDF-4D13-90DC-6D7CC37AE2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1316505$716FA82F-99CA-4E15-9A04-9485BA44CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b366d59c53eb1c8524c3d22f44e3ca5091cece","datavalue":{"value":{"entity-type":"item","numeric-id":914231,"id":"Q914231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1316505$8CA6E247-625F-4194-B6E4-0F9FA3878632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"805ce68f7545b798e9b3daf881b9100b46b688fe","datavalue":{"value":{"entity-type":"item","numeric-id":1292418,"id":"Q1292418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1316505$130CCC0D-B269-4633-803D-4942C3FC01FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1316505$DF978CC2-708F-4EC9-B1AE-1A352863F9C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"317eaebc7c2ea09eab0a73a5680a298ab3c3f449","datavalue":{"value":{"time":"+1994-03-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":"Q1316505$4C3AE3C1-575A-4ABC-B01E-19D1CBEDB4BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51ae439414c75cb722cca704d0fe62379ed3588b","datavalue":{"value":"In a previous work [Lect. Notes Math. 1388, 203-220 (1989; Zbl 0691.03050)] of the first author, we set up a formal system \\(IR\\) of infinitary logic, by whose proof-theoretical properties the infinitesimal calculus can be justified. Such an attempt was started due to the first author's wish to single out the essence of the metatheory of nonstandard mathematics as a ``trick of the language'', and was concluded with the ``linkage principles'' which support the nonstandard theory.   We have since pushed that thought forward and extended the result to general nonstandard analysis, with the theory of Loeb measure in mind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$BDA105B4-A83C-4EAC-A7F4-B07E0A416879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$4BEB22AD-1E61-44C1-8436-39A7D331BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$0684308C-B723-4AEA-9301-9A94EC1A9893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc3d0a038d43aef32790c4dbd9080da97bc1331","datavalue":{"value":"515586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$74A85EE2-1C4B-48CD-A0B5-14209C4335D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d80393e6d8191775d5e2bf88ac164954a10c209","datavalue":{"value":"formal system \\(IR\\) of infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$151683E8-8928-4071-9930-DA56D560CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b9b666d61710168781f19fcc8205f051b3a225","datavalue":{"value":"infinitesimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$CC077461-7E32-4D72-B2BC-EA3565F1406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ed83f17a3dd667acff3e1da2e29de8d0dd9473","datavalue":{"value":"metatheory of nonstandard mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$171BA3F9-F40C-4E3D-99DF-679985FA2891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$493A2E63-2975-4443-BE31-1D9876AD3266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe181ee7b70abf9a56c531ffda37014ba4f49de","datavalue":{"value":"Loeb measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1316505$4F8FA415-24A4-40D3-B7C7-91AE8A73ECA8","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":"Q1316505$0ED77F2F-BD19-4A9A-B8CC-1CCBF0666BE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df562f8941dc9fa9de7ff491a2afd8433dfe0ec5","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496162143","type":"string"},"datatype":"url"},"type":"statement","id":"Q1316505$EE229E50-D3A9-4896-B5B5-2CFA8D80334E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a6cee135035b06f26d4f99cb6c1f9609be9677c","datavalue":{"value":"W1925235071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$D136486E-296A-4BDA-97A7-D82E6BE3F294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0852db3f0241fd35adf940f5b8409e33326d2284","datavalue":{"value":"10.21099/TKBJM/1496162143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1316505$B2D50949-EF41-4163-9B28-4534DBEDE763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800735714d394c21813b9a1e6377f78a0b830253","datavalue":{"value":{"entity-type":"item","numeric-id":3032261,"id":"Q3032261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a2a1931ef659ec07433c31982959391e6c1250","datavalue":{"value":{"amount":"+0.839339554309845","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":"Q1316505$2ABD78C0-5F70-401F-AC9E-A20CFA38E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ccb8ea6874079b03e14c4981862782b0788c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4529744,"id":"Q4529744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d0efc0626ecd0328ac867fd0f8d7aeea7c3fb1","datavalue":{"value":{"amount":"+0.7762665748596191","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":"Q1316505$51C9D8A9-A433-4AA2-926F-D3AA0F8EAD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e17847d51e50cd4ca5b390f98e5080c4fe98d","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa802e76e9071b0d03aa77870126f730d0e9411c","datavalue":{"value":{"amount":"+0.7757728099822998","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":"Q1316505$B72C625B-BADF-4728-9094-B1AF6D5288BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f24ae9a9c93c8fbb9499d221e4ddbd968a75e9","datavalue":{"value":{"entity-type":"item","numeric-id":3784073,"id":"Q3784073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a312a74d1aa8552425fb18b67a3026d0d6983d5","datavalue":{"value":{"amount":"+0.7730702757835388","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":"Q1316505$FD036919-9EB6-4E22-AB2B-F06A0D057570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b1374be974bc976df68d07ad9722afd448db8f","datavalue":{"value":{"entity-type":"item","numeric-id":4206726,"id":"Q4206726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1492525fdebc99773ba88c680391f9718a4df3","datavalue":{"value":{"amount":"+0.7702022194862366","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":"Q1316505$4710A108-BD20-4D52-83B3-ACB7A0588635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A metatheory of nonstandard analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_metatheory_of_nonstandard_analysis"}}}}}