Publication:3867815
From MaRDI portal
zbMath0431.03024MaRDI QIDQ3867815
Publication date: 1978
03G30: Categorical logic, topoi
18B25: Topoi
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C25: Model-theoretic forcing
Related Items