scientific article; zbMATH DE number 3691320

MaRDI QIDQ3885754zbMATH OpenFDO

Authors Gerrit van der Hoeven, A. S. Troelstra

Publication date 1979

zbMATH Keywords

topological modelsintuitionistic analysischoice sequenceslawless sequences

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited in

(1)

• Sheaf models for choice sequences

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