scientific article; zbMATH DE number 3941537

zbMATH Open0587.03045MaRDI QIDQ3714079FDOQ3714079

Authors: Gerrit van der Hoeven, Ieke Moerdijk 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

sequence of modelsmodel for the theory CS of Kreisel and Troelstra

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cited In (10)

• More about relatively lawless sequences
• Spreads or choice sequences?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relative lawlessness in intuitionistic analysis
• Title not available (Why is that?)
• On choice sequences determined by spreads
• Iterated definability, lawless sequences, and Brouwer's continuum
• A classical view of the intuitionistic continuum
• Title not available (Why is that?)

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)