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

✍ Scribed by Bruno Loiseau; Mawanda Mbila-Mambu

• Publisher: Elsevier Science
• Year: 1989
• Tongue: English
• Weight: 672 KB
• Volume: 61
• Category: Article
• ISSN: 0022-4049
• DOI: 10.1016/0022-4049(89)90076-5