Closed set logic in categories / William James.
| dc.contributor.author | James, William, 1968- | en |
| dc.contributor.school | Dept. of Philosophy | en |
| dc.date.issued | 1996 | en |
| dc.description | Bibliography: leaves 263-266. | en |
| dc.description | v, 266 leaves ; 30 cm. | en |
| dc.description.abstract | This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. | en |
| dc.description.dissertation | Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996 | en |
| dc.format.extent | 209250 bytes | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.uri | http://hdl.handle.net/2440/18746 | |
| dc.language.iso | en | en |
| dc.provenance | This electronic version is made publicly available by the University of Adelaide in accordance with its open access policy for student theses. Copyright in this thesis remains with the author. This thesis may incorporate third party material which has been used by the author pursuant to Fair Dealing exception. If you are the author of this thesis and do not wish it to be made publicly available or If you are the owner of any included third party copyright material you wish to be removed from this electronic version, please complete the take down form located at: http://www.adelaide.edu.au/legals | en |
| dc.subject.ddc | 510.1 21 | en |
| dc.subject.lcsh | Logic, Symbolic and mathematical. | en |
| dc.subject.lcsh | Brouwerian algebras. | en |
| dc.subject.lcsh | Inconsistency (Logic) | en |
| dc.title | Closed set logic in categories / William James. | en |
| dc.type | Thesis | en |