On natural number objects, finiteness and Kripke-Platek models in toposes
From MaRDI portal
Publication:1825947
DOI10.1016/0022-4049(89)90076-5zbMath0685.18004MaRDI QIDQ1825947
Mbila-Mambu Mawanda, Bruno Loiseau
Publication date: 1989
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(89)90076-5
03G30: Categorical logic, topoi
18B25: Topoi
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Cites Work