scientific article; zbMATH DE number 3827859

zbMATH Open0523.03045MaRDI QIDQ3674653FDOQ3674653

Authors: Gerrit van der Hoeven, Ieke Moerdijk 

Publication date: 1983

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

zbMATH Keywords

lawless sequencessheaf models

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

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