Constructive toposes with countable sums as models of constructive set theory release_swz7cbzfbfgdlc3iows3va37nq

by Alex Simpson, Thomas Streicher

Published in Annals of Pure and Applied Logic by Elsevier BV.

2012   Volume 163, Issue 10, p1419-1436

Archived Files and Locations

application/pdf  568.2 kB
file_dkqqspzdffdrjopnvkq4h45wvu
www.pure.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  569.3 kB
file_7zvnd25d55exximo3mf5fhq32a
web.archive.org (webarchive)
www.research.ed.ac.uk (web)
application/pdf  434.7 kB
file_uw32l2i3fjdt3fridh2goamvh4
homepages.inf.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  407.0 kB
file_nj4ii3b2j5dwhbgtagg4cld47q
web.archive.org (webarchive)
homepages.inf.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  313.6 kB
file_34dg6xd6wrgmdc6m7gbpwvkgqe
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2012
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0168-0072
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4269acdf-1c04-4c0d-b70e-fc4abe3c000a
API URL: JSON