FMF, Mathematical Library, Lj. (MAKLJ)
-
Constructive toposes with countable sums as models of constructive set theorySimpson, Alex ; Streicher, Thomas, 1958-We define a constructive topos to be a locally cartesian closed pretopos. The terminology is supported by the fact that constructive toposes enjoy a relationship with constructive set theory similar ... to the relationship between elementary toposes and (impredicative) intuitionistic set theory. This paper elaborates upon one aspect of the relationship between constructive toposes and constructive set theory. We show that any constructive topos with countable coproducts provides a model of a standard constructive set theory, ▫$\mathbf{{CZF}_{Exp}}$▫ (that is, the variant of Aczel's Constructive Zermelo-Fraenkel set theory ▫$\mathbf{CZF}$▫ obtained by weakening Subset Collection to the Exponentiation axiom). The model is constructed as a category of classes, using ideas derived from Joyal and Moerdijk's programme of algebraic set theory. A curiosity is that our model always validates the axiom ▫$V = V_{\omega_1}$▫ (in an appropriate formulation). It follows that the full Separation schema is always refuted.Source: Annals of pure and applied Logic. - ISSN 0168-0072 (Vol. 163, iss. 10, 2012, str. 1419-1436)Type of material - article, component part ; adult, seriousPublish date - 2012Language - englishCOBISS.SI-ID - 17091417
Author
Simpson, Alex |
Streicher, Thomas, 1958-
Topics
constructive set theory |
categorical logic |
sheaves |
constructive topos |
CZF
source: Annals of pure and applied Logic. - ISSN 0168-0072 (Vol. 163, iss. 10, 2012, str. 1419-1436)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
If the library membership card is not in the list,
add a new one.
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Simpson, Alex | |
Streicher, Thomas, 1958- |
Source: Personal bibliographies
and: SICRIS
Select pickup location:
Material pickup by post
Delivery address:
Address is missing from the member's data.
The address retrieval service is currently unavailable, please try again.
By clicking the "OK" button, you will confirm the pickup location selected above and complete the reservation process.
By clicking the "OK" button, you will confirm the above pickup location and delivery address, and complete the reservation process.
By clicking the "OK" button, you will confirm the address selected above and complete the reservation process.
Notification
Automatic login and reservation service currently not available. You can reserve the material on the Biblos portal or try again here later.
Subject headings in COBISS General List of Subject Headings
Select pickup location
The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.
Pickup location | Material status | Reservation |
---|
Reservation in progress
Please wait a moment.
Reservation was successful.
Reservation failed.
Reservation...
Membership card:
Pickup location: