Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-12T19:49:17.329Z Has data issue: false hasContentIssue false
  • English
  • Français

Choice Sequences and Knowledge States: Extending the Notion of Finite Information to Produce a Clearer Foundation for Intuitionistic Analysis, Keele University, UK, 2017. Supervised by Peter Fletcher

Published online by Cambridge University Press:  07 August 2018

James Firoze Appleby
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Thesis Abstracts
Information
Bulletin of Symbolic Logic , Volume 24 , Issue 2 , June 2018 , pp. 196 - 197
Copyright
Copyright © The Association for Symbolic Logic 2018 

References

REFERENCES

Troelstra, A. S., Choice Sequences: A Chapter of Intuitionistic Mathematics, Clarendon Press, Oxford, 1977.Google Scholar
Kleene, S. C. and Vesley, R. E., The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions, North Holland, Amsterdam, 1965.Google Scholar
Moschovakis, J. R., Iterated definability, lawless sequences and Brouwer’s continuum, Godel’s Disjunction: The Scope and Limits of Mathematical Knowledge (Horston, L. and Welch, P., editors), Oxford University Press, Oxford, 2016, pp. 92–107.CrossRefGoogle Scholar
Fletcher, P., Truth Proof and Infinity; A Theory of Constructions and Constructive Reasoning, Kluwer, Netherlands, 1998.Google Scholar