Constructive non-standard analysis

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 has been studied thoroughly 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.

See also

• Criticism of non-standard analysis
• Smooth infinitesimal analysis
• John Lane Bell

References

• Ieke Moerdijk, A model for intuitionistic nonstandard arithmetic, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 37–51.

"Abstract: This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice."[1]

• Erik Palmgren, Developments in Constructive Nonstandard Analysis, Bull. Symbolic Logic Volume 4, Number 3 (1998), 233–272.

"Abstract: We develop a constructive version of nonstandard analysis, extending Bishop's constructive analysis with infinitesimal methods. ..."[2]

• Juha Ruokolainen 2004, Constructive Nonstandard Analysis Without Actual Infinity[3]

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Non-standard analysis Mathematical logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем написать курсовую Constructive function theory Constructive treason Look at other dictionaries: Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …   Wikipedia Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… …   Wikipedia Non-standard model — See also Interpretation (logic) In model theory, a discipline within mathematical logic, a non standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the… …   Wikipedia analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …   Universalium Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… …   Wikipedia Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia Mathematical analysis — Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and… …   Wikipedia Non-governmental organization — NGO redirects here. For other uses, see NGO (disambiguation). A non governmental organization (NGO) is a legally constituted organization created by natural or legal persons that operates independently from any government. The term originated… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”