scientific article; zbMATH DE number 3823769

MaRDI QIDQ3671153zbMATH OpenFDO

Authors Giuseppe Rosolini

Publication date 1983

zbMATH Keywords

effective toposmodel of intuitionistic set theoryordinals

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Constructive and recursive analysis (03F60)

Cited in

(7)

• A categorical reading of the numerical existence property in constructive foundations
• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• Five stages of accepting constructive mathematics
• Implicative models of set theory
• Effectiveness and continuity in intuitionistic quasi-toposes of assemblies

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 Q3671153)