Recursion Theoretic Operators and Morphisms on Numbered Sets
An operator is a map ?: Pω->Pω. By embedding Pω in two natural ways into the λ-calculus model Pω^2 (and T^ω) the computable maps on this latter structure induce several classes of recursion theoretic operators.
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149005 |
| _version_ | 1811091093449605120 |
|---|---|
| author | Barendregt, Henk Longo, Giuseppe |
| author_facet | Barendregt, Henk Longo, Giuseppe |
| author_sort | Barendregt, Henk |
| collection | MIT |
| description | An operator is a map ?: Pω->Pω. By embedding Pω in two natural ways into the λ-calculus model Pω^2 (and T^ω) the computable maps on this latter structure induce several classes of recursion theoretic operators. |
| first_indexed | 2024-09-23T14:56:55Z |
| id | mit-1721.1/149005 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T14:56:55Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490052023-03-30T03:20:10Z Recursion Theoretic Operators and Morphisms on Numbered Sets Barendregt, Henk Longo, Giuseppe An operator is a map ?: Pω->Pω. By embedding Pω in two natural ways into the λ-calculus model Pω^2 (and T^ω) the computable maps on this latter structure induce several classes of recursion theoretic operators. 2023-03-29T14:18:38Z 2023-03-29T14:18:38Z 1981-02 https://hdl.handle.net/1721.1/149005 7729206 MIT-LCS-TM-194 application/pdf |
| spellingShingle | Barendregt, Henk Longo, Giuseppe Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title | Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title_full | Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title_fullStr | Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title_full_unstemmed | Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title_short | Recursion Theoretic Operators and Morphisms on Numbered Sets |
| title_sort | recursion theoretic operators and morphisms on numbered sets |
| url | https://hdl.handle.net/1721.1/149005 |
| work_keys_str_mv | AT barendregthenk recursiontheoreticoperatorsandmorphismsonnumberedsets AT longogiuseppe recursiontheoreticoperatorsandmorphismsonnumberedsets |