Small decidable sheaves

DOI10.2307/2274026MaRDI QIDQ3824313zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Andre 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)

Recommendations

• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• A sheaf-theoretic foundation for nonstandard analysis
• Sheaf models for choice sequences
• Constructive toposes with countable sums as models of constructive set theory
• Constructivism in mathematics. An introduction. Volume II

Cites work

• Sheaf models for set theory

Cited in

(1)

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

This page was built for publication: Small decidable sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3824313)