scientific article; zbMATH DE number 3993822

MaRDI QIDQ4722244zbMATH OpenFDO

Authors Eduardo J. Dubuc, Jacques Penon

Publication date 1986

zbMATH Keywords

completeness of schemesgross toposeslogical compactnesstopos

Mathematics Subject Classification ID

Topoi (18B25) Fairly general properties of topological spaces (54D99)

Recommendations

• Forcing and classifying topoi
• La logique des topos
• scientific article; zbMATH DE number 94042
• Topical categories of domains
• Publication:4896536
• scientific article; zbMATH DE number 3899134
• Boolean algebras in algebraic topology
• Topological completeness for higher-order logic
• scientific article; zbMATH DE number 5180960
• Universal models and definability

Cited in

(15)

• Logical opens and real numbers in topoi
• Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs
• Hilbert's Nullstellensatz revisited
• The Lee identities in topoi. I
• Scattered toposes
• Elementary axioms for canonical points of toposes
• Cuts for \(l^{\infty}\)
• A characterization of geometric fields in a topos
• scientific article; zbMATH DE number 3865537 (Why is no real title available?)
• scientific article; zbMATH DE number 4071160 (Why is no real title available?)
• scientific article; zbMATH DE number 1461845 (Why is no real title available?)
• scientific article; zbMATH DE number 1496858 (Why is no real title available?)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• scientific article; zbMATH DE number 4000186 (Why is no real title available?)
• On supercompactly and compactly generated toposes

This page was built for publication:

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