✦ 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
DOI: 10.1016/s0022-4049(00)00080-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modules in the category of sheaves over

Modules in the category of sheaves over quantales

✍ Marcelo E. Coniglio; Francisco Miraglia 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 277 KB

Modules in the category of sheaves over

Modules in the category of sheaves over quantales

✍ Marcelo E. Coniglio; Francisco Miraglia 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 277 KB

The Hahn-Banach theorem in a category of

The Hahn-Banach theorem in a category of sheaves

✍ Charles W. Burden 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 561 KB

Some aspects of the category of subobjec

Some aspects of the category of subobjects of constant objects in a topos

✍ J.L. Bell 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 698 KB

Two logical hierarchies of optimization

Two logical hierarchies of optimization problems over the real numbers

✍ 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

On the genera and the class number of un

On the genera and the class number of unimodular lattices over the ring of integers in real quadratic fields

✍ Ichiro Takada 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 288 KB