Cuts for l^

MaRDI QIDQ3145753zbMATH OpenFDO

Authors Luis Español, M. Carmen Mínguez

Publication date 23 December 2012

Full work available at URL http://www.emis.de/proceedings/Chicho2001/Espanol-Minguez.pdf

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Bornologies and related structures; Mackey convergence, etc. (46A17) Categories, functors in functional analysis (46M15)

Recommendations

• Logical opens and real numbers in topoi
• On the ordered Dedekind real numbers in toposes
• Real numbers in the topos of sheaves over the category of filters
• scientific article; zbMATH DE number 3993822
• Generalized real numbers in constructive mathematics

Cited in

(3)

• Logical opens and real numbers in topoi
• On the ordered Dedekind real numbers in toposes
• scientific article; zbMATH DE number 1932099 (Why is no real title available?)

This page was built for publication: Cuts for \(l^{\infty}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145753)