https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Constructive_nonstandard_analysis 2026-06-11T23:57:04Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Constructive_nonstandard_analysis&diff=226646&oldid=prev 2023-07-27T04:58:25Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:28, 27 July 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Manidh https://www.vigyanwiki.in/index.php?title=Constructive_nonstandard_analysis&diff=226645&oldid=prev 2021-12-19T00:55:15Z

<p>Add <a href="/index.php?title=Category:Constructivism_(mathematics)&amp;action=edit&amp;redlink=1" class="new" title="Category:Constructivism (mathematics) (page does not exist)">Category:Constructivism (mathematics)</a></p> <p><b>New page</b></p><div>In mathematics, '''constructive nonstandard analysis''' is a version of [[Abraham Robinson]]'s [[nonstandard analysis]], developed by [[Ieke Moerdijk|Moerdijk]] (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: <br /> <br /> :The possibility of [[constructive mathematics|constructivization]] of nonstandard analysis was studied by Palmgren (1997, 1998, 2001). The model of constructive nonstandard analysis studied there is an extension of Moerdijk’s (1995) model for constructive nonstandard arithmetic.<br /> <br /> ==See also==<br /> *[[Smooth infinitesimal analysis]]<br /> *[[John Lane Bell]]<br /> <br /> ==References==<br /> *[[Ieke Moerdijk]], ''A model for intuitionistic nonstandard arithmetic'', Annals of Pure and Applied Logic, vol. 73 (1995), pp. 37&amp;ndash;51. <br /> : &quot;Abstract: This paper provides an explicit description of a model for intuitionistic nonstandard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.&quot;[http://www.sciencedirect.com/science/journal/01680072]<br /> *[[Erik Palmgren]], ''Developments in Constructive Nonstandard Analysis'', [[Bulletin of Symbolic Logic]] Volume 4, Number 3 (1998), 233&amp;ndash;272.<br /> : &quot;Abstract: We develop a constructive version of nonstandard analysis, extending [[Errett Bishop|Bishop]]'s constructive analysis with infinitesimal methods. ...&quot;[http://projecteuclid.org/euclid.bsl/1182353577]<br /> *[[Juha Ruokolainen]] 2004, ''Constructive Nonstandard Analysis Without Actual Infinity''[https://helda.helsinki.fi/bitstream/handle/10138/21235/construc.pdf]<br /> <br /> {{Infinitesimals}}<br /> <br /> [[Category:Constructivism (mathematics)]]<br /> [[Category:Nonstandard analysis]]<br /> <br /> <br /> {{mathlogic-stub}}</div>

wikipedia>2d37