| dc.date.accessioned | 2013-03-12T08:16:24Z | |
| dc.date.available | 2013-03-12T08:16:24Z | |
| dc.date.issued | 1997 | en_US |
| dc.date.submitted | 2011-07-06 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10852/10252 | |
| dc.description.abstract | We investigate domains with totality where density in general does not hold. We define three categories of domains with totality satisfying certain structural properties. These will induce domains with totality. We show that the category of evaluation structures is closed under dependent sums and products, under a universe constructor and under direct limits. This is applied to domains with totality defined by induction. We also investigate the topological properties of domains with totality induced from evaluation structures. | eng |
| dc.language.iso | eng | en_US |
| dc.publisher | Matematisk Institutt, Universitetet i Oslo | |
| dc.relation.ispartof | Preprint series. Pure mathematics http://urn.nb.no/URN:NBN:no-8076 | en_US |
| dc.relation.uri | http://urn.nb.no/URN:NBN:no-8076 | |
| dc.rights | © The Author(s) (1997). This material is protected by copyright law. Without explicit authorisation, reproduction is only allowed in so far as it is permitted by law or by agreement with a collecting society. | |
| dc.title | Categories of domains with totality | en_US |
| dc.type | Research report | en_US |
| dc.date.updated | 2011-07-06 | en_US |
| dc.rights.holder | Copyright 1997 The Author(s) | |
| dc.creator.author | Normann, Dag | en_US |
| dc.subject.nsi | VDP::410 | en_US |
| dc.identifier.urn | URN:NBN:no-28179 | en_US |
| dc.type.document | Forskningsrapport | en_US |
| dc.identifier.duo | 131958 | en_US |
| dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/10252/1/pm04-97.pdf | |