Constructive toposes with countable sums as models of constructive set theory

From MaRDI portal
Revision as of 04:16, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:448336

DOI10.1016/j.apal.2012.01.013zbMath1275.03145OpenAlexW2042711307MaRDI QIDQ448336

Thomas Streicher, Alex K. Simpson

Publication date: 6 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.01.013






Cites Work


This page was built for publication: Constructive toposes with countable sums as models of constructive set theory