Small decidable sheaves

DOI10.2307/2274026zbMath0672.03046OpenAlexW2130872027MaRDI QIDQ3824313

Andreas Blass, Andrej Scedrov

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274026

zbMATH Keywords

second-order arithmeticsheaf modelcoprime element in the lattice of decidable subsets of \({\mathbb{N}}\)

Mathematics Subject Classification ID

Topoi (18B25) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (1)

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

Cites Work

• Sheaf models for set theory

This page was built for publication: Small decidable sheaves