𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real numbers in the topos of sheaves over the category of filters

✍ Scribed by Erik Palmgren


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
115 KB
Volume
160
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Two logical hierarchies of optimization
✍ Uffe Flarup; Klaus Meer πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

## Dedicated to Professor GΓΌnter Asser on the occasion of his eightieth birthday We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [12,11]). More precis