Appleby, James F ORCID: 0000-0003-3384-0295 (2017) Choice sequences and knowledge states: extending the notion of finite information to produce a clearer foundation for intuitionistic analysis. Doctoral thesis, Keele University.

[img]
Preview
Text
ApplebyPhD2017.pdf

Download (863kB) | Preview

Abstract

There are currently four major formal foundational systems for intuitionistic analysis: LS, CS (both in Troelstra 1977), FIM (Kleene and Vesley 1965) and the derivable FIRM-INT (Moschovakis 2016). All of these systems rely on different universes of choice sequences and different conceptions of what a choice sequence is. There is a strong common ground between these systems as they use the same very restrictive notion of finite information when dealing with these choice sequences { the notion of restricting ourselves to initial segments.
This text extends the notion of a choice sequence given in Fletcher (1998) and uses it to construct a generalised system capable of expressing results about intensional properties of choice sequences. This is achieved by constructing a language capable of representing intensional first order restrictions on choice sequences (the language of knowledge states) and their relations to other sequences. This extended system allows us to formulate a notion of lawlessness that evades a series of paradoxes highlighted in Fletcher (1998), allows us to prove a generalised form of open data and offers additional clarity to other key areas of the theory. When a certain set of restrictions are applied to this extended theory (extensionality and a second order restriction on knowledge states) we obtain a system suitable for the foundation of analysis.

Item Type: Thesis (Doctoral)
Subjects: Q Science > QA Mathematics
Divisions: Faculty of Natural Sciences > School of Computing and Maths
Depositing User: Lisa Bailey
Date Deposited: 16 Jan 2018 09:57
Last Modified: 30 Jul 2018 14:45
URI: http://eprints.keele.ac.uk/id/eprint/4359

Actions (login required)

View Item View Item