scientific article; zbMATH DE number 3839954

MaRDI QIDQ3310619zbMATH OpenFDO

Authors Andre Scedrov

Publication date 1982

zbMATH Keywords

fan theoremHeyting-valued modellocalic topos

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Categorical logic, topoi (03G30) Topoi (18B25)

Cited in

(2)

• Arithmetic transfinite induction and recursive well-orderings
• Differential equations in constructive analysis and in the recursive realizability topos

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