On natural number objects, finiteness and Kripke-Platek models in toposes

DOI10.1016/0022-4049(89)90076-5zbMath0685.18004OpenAlexW2067629529MaRDI 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

zbMATH Keywords

elementary toposnatural number objectKripke-Platek model

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite cardinals in general topoi
• Small decidable sheaves
• Aspects of topoi
• A complete first-order logic with infinitary predicates