Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Constructive_non-standard_analysis> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Constructive_non-standard_analysis abstract "In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's non-standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of 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.".
- Constructive_non-standard_analysis wikiPageExternalLink 1182353577.
- Constructive_non-standard_analysis wikiPageExternalLink 01680072.
- Constructive_non-standard_analysis wikiPageExternalLink construc.pdf.
- Constructive_non-standard_analysis wikiPageID "25454823".
- Constructive_non-standard_analysis wikiPageLength "1523".
- Constructive_non-standard_analysis wikiPageOutDegree "9".
- Constructive_non-standard_analysis wikiPageRevisionID "547694534".
- Constructive_non-standard_analysis wikiPageWikiLink Abraham_Robinson.
- Constructive_non-standard_analysis wikiPageWikiLink Category:Non-standard_analysis.
- Constructive_non-standard_analysis wikiPageWikiLink Erik_Palmgren.
- Constructive_non-standard_analysis wikiPageWikiLink Errett_Bishop.
- Constructive_non-standard_analysis wikiPageWikiLink Ieke_Moerdijk.
- Constructive_non-standard_analysis wikiPageWikiLink John_Lane_Bell.
- Constructive_non-standard_analysis wikiPageWikiLink Juha_Ruokolainen.
- Constructive_non-standard_analysis wikiPageWikiLink Non-standard_analysis.
- Constructive_non-standard_analysis wikiPageWikiLink Smooth_infinitesimal_analysis.
- Constructive_non-standard_analysis wikiPageWikiLinkText "Constructive non-standard analysis".
- Constructive_non-standard_analysis wikiPageWikiLinkText "constructive non-standard analysis".
- Constructive_non-standard_analysis wikiPageUsesTemplate Template:Infinitesimals.
- Constructive_non-standard_analysis wikiPageUsesTemplate Template:Mathlogic-stub.
- Constructive_non-standard_analysis subject Category:Non-standard_analysis.
- Constructive_non-standard_analysis hypernym Version.
- Constructive_non-standard_analysis type Work.
- Constructive_non-standard_analysis type Field.
- Constructive_non-standard_analysis comment "In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's non-standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of 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.".
- Constructive_non-standard_analysis label "Constructive non-standard analysis".
- Constructive_non-standard_analysis sameAs Q5164494.
- Constructive_non-standard_analysis sameAs m.09k5f3z.
- Constructive_non-standard_analysis sameAs Q5164494.
- Constructive_non-standard_analysis wasDerivedFrom Constructive_non-standard_analysis?oldid=547694534.
- Constructive_non-standard_analysis isPrimaryTopicOf Constructive_non-standard_analysis.