Publication:3867815

zbMath0431.03024MaRDI QIDQ3867815

Barbara Veit Riccioli

Publication date: 1978

zbMATH Keywords

sheaves; Kripke-Joyal semantics; many-sorted logic; inductive clauses

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

03C25: Model-theoretic forcing

Related Items

Unnamed Item