13 relations: Constructive non-standard analysis, Graduate Texts in Mathematics, Hyperreal number, Internal set theory, Mathematical logic, Model theory, Non-standard analysis, Robert Goldblatt, Standard part function, Transfer principle, Ultrafilter, Ultraproduct, Universe (mathematics).
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).
New!!: Internal set and Constructive non-standard analysis · See more »
Graduate Texts in Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag.
New!!: Internal set and Graduate Texts in Mathematics · See more »
Hyperreal number
The system of hyperreal numbers is a way of treating infinite and infinitesimal quantities.
New!!: Internal set and Hyperreal number · See more »
Internal set theory
Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson.
New!!: Internal set and Internal set theory · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Internal set and Mathematical logic · See more »
Model theory
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
New!!: Internal set and Model theory · See more »
Non-standard analysis
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers.
New!!: Internal set and Non-standard analysis · See more »
Robert Goldblatt
Robert Ian Goldblatt (born 1949) is a mathematical logician at the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand, and a member of the Centre for Logic, Language and Computation.
New!!: Internal set and Robert Goldblatt · See more »
Standard part function
In non-standard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers.
New!!: Internal set and Standard part function · See more »
Transfer principle
In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure.
New!!: Internal set and Transfer principle · See more »
Ultrafilter
In the mathematical field of set theory, an ultrafilter on a given partially ordered set (poset) P is a maximal filter on P, that is, a filter on P that cannot be enlarged.
New!!: Internal set and Ultrafilter · See more »
Ultraproduct
The ultraproduct is a mathematical construction that appears mainly in abstract algebra and in model theory, a branch of mathematical logic.
New!!: Internal set and Ultraproduct · See more »
Universe (mathematics)
In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.
New!!: Internal set and Universe (mathematics) · See more »
Redirects here:
Internal Set, Internal function.