scientific article; zbMATH DE number 3779318

MaRDI QIDQ3958458zbMATH OpenFDO

Authors Gerrit van der Hoeven

Publication date 1982

zbMATH Keywords

choice sequencesintuitionistic logiclawless sequencesrandom sequences

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cited in

(2)

• Realizing Brouwer's sequences
• 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 Q3958458)