Metadata
| Item Type: | Article |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | © The Author(s), 2021. Published by Cambridge University Press on behalf of Association for Symbolic Logic. This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| Keywords: | partial combinatory algebra, extensionality, hyperarithmetical sets, lambda calculus |
| Dates: |
|
| Institution: | The University of Leeds |
| Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
| Depositing User: | Symplectic Publications |
| Date Deposited: | 16 Dec 2024 11:20 |
| Last Modified: | 16 Dec 2024 11:20 |
| Published Version: | https://www.cambridge.org/core/journals/journal-of... |
| Status: | Published |
| Publisher: | Cambridge University Press |
| Identification Number: | 10.1017/jsl.2021.50 |
| Related URLs: | |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:220840 |
Download
Filename: ordinal-analysis-of-partial-combinatory-algebras.pdf
Licence: CC-BY 4.0
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)