On natural number objects, finiteness and Kripke-Platek models in toposes
type: Item
instance of: scholarly article
title: On natural number objects, finiteness and Kripke-Platek models in toposes
zbMATH Open document ID: 0685.18004
DOI: 10.1016/0022-4049(89)90076-5
author: Bruno Loiseau
author: Mbila-Mambu Mawanda
published in: Journal of Pure and Applied Algebra
publication date: 1989-01-01T00:00:00Z
review text: The authors show that the existence of a Kripke-Platek model after \textit{J. Barwise} [Admissible sets and structures (1975; Zbl 0316.02047)] in an elementary topos \({\mathcal E}\) is equivalent to the existence of a natural number object in \({\mathcal E}\).
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 4122190
zbMATH Keywords: Kripke-Platek model
zbMATH Keywords: elementary topos
zbMATH Keywords: natural number object
reviewed by: J. R. Isbell
MaRDI profile type: Publication
full work available at URL: 0022-4049(89)90076-5
OpenAlex ID: W2067629529
cites work: Q3871059
cites work: Q3769069
cites work: Q4075450
cites work: Small decidable sheaves
cites work: Aspects of topoi
cites work: Q4145861
cites work: Q3889051
cites work: A complete first-order logic with infinitary predicates
cites work: Finite cardinals in general topoi
description: scientific article; zbMATH DE number 4122190