|
Related terms:
nonstandard analysis
relation algebra
hyperreal
transcendental functions
quantifiers
nonstandard
quantification
exists
Wikipedia sources: Model theory Alfred Tarski Quantification Embedding Hyperreal number Infinitesimal Context for words: model theory |
|