Konstruktivní nestandardní analýza - Constructive nonstandard analysis - Wikipedia

V matematice konstruktivní nestandardní analýza je verze Abraham Robinson je nestandardní analýza, vyvinutý společností Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen napsal:

Možnost konstruktivizace nestandardní analýzy studoval Palmgren (1997, 1998, 2001). Studovaný model konstruktivní nestandardní analýzy je rozšířením Moerdijkova modelu (1995) pro konstruktivní nestandardní aritmetiku.

Viz také

• Hladká nekonečně malá analýza
• John Lane Bell

Reference

• Ieke Moerdijk, Model intuitivní nestandardní aritmetiky, Annals of Pure and Applied Logic, sv. 73 (1995), s. 37–51.

„Abstrakt: Tento příspěvek poskytuje explicitní popis modelu pro intuitivní nestandardní aritmetiku, který lze formalizovat v konstruktivní metateorii bez axiomu volby.“[1]

• Erik Palmgren, Vývoj v konstruktivní nestandardní analýzeBull. Symbolic Logic Volume 4, Number 3 (1998), 233–272.

„Abstrakt: Vyvíjíme konstruktivní verzi nestandardní analýzy, která se rozšiřuje Biskup Konstruktivní analýza s nekonečně malými metodami. ... “[2]

• Juha Ruokolainen 2004, Konstruktivní nestandardní analýza bez skutečného nekonečna[3]

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.