scientific article; zbMATH DE number 3941537

MaRDI QIDQ3714079zbMATH OpenFDO

Authors Gerrit van der Hoeven, Ieke Moerdijk

Publication date 1984

zbMATH Keywords

sequence of modelsmodel for the theory CS of Kreisel and Troelstra

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Relative lawlessness in intuitionistic analysis
• Sheaf models for choice sequences
• scientific article; zbMATH DE number 3867322
• More about relatively lawless sequences
• scientific article; zbMATH DE number 997681

Cited in

(10)

• A classical view of the intuitionistic continuum
• Relative lawlessness in intuitionistic analysis
• Iterated definability, lawless sequences, and Brouwer's continuum
• On choice sequences determined by spreads
• scientific article; zbMATH DE number 3871349 (Why is no real title available?)
• scientific article; zbMATH DE number 510786 (Why is no real title available?)
• scientific article; zbMATH DE number 3867322 (Why is no real title available?)
• More about relatively lawless sequences
• scientific article; zbMATH DE number 3949067 (Why is no real title available?)
• Spreads or 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 Q3714079)