- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Limit spaces and transfinite types
Archive for Mathematical Logic 41 (6):525-539 (2002)
Abstract
We give a characterisation of an extension of the Kleene-Kreisel continuous functionals to objects of transfinite types using limit spaces of transfinite typesAuthor's Profile
My notes
Similar books and articles
Mathematical Logic With Transfinite Types.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Review: Frank G. Bruner, Mathematical Logic With Transfinite Types. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.
Total objects in inductively defined types.Lill Kristiansen & Dag Normann - 1997 - Archive for Mathematical Logic 36 (6):405-436.
Nominalistic ordinals, recursion on higher types, and finitism.Maria Hämeen-Anttila - 2019 - Bulletin of Symbolic Logic 25 (1):101-124.
On some difficulties in the theory of transfinite numbers and order types.Bertrand Russell - 1905 - Proceedings of the London Mathematical Society 4 (14):29-53.
Systems of transfinite types involving λ-conversion.Maurice L'Abbé - 1953 - Journal of Symbolic Logic 18 (3):209 - 224.
Review: Dag Normann, Recursion on the Countable Functionals; Dag Normann, The Continuous Functionals; Computations, Recursions and Degrees. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
Systems of transfinite types involving L [lambda]-conversion.Maurice L' Abbe - 1953 - Journal of Symbolic Logic 18:209.
Analytics
Added to PP
2013-11-23
Downloads
32 (#127,447)
6 months
8 (#1,326,708)
2013-11-23
Downloads
32 (#127,447)
6 months
8 (#1,326,708)
Historical graph of downloads
Author's Profile
References found in this work
Domain interpretations of martin-löf’s partial type theory.Erik Palmgren & Viggo Stoltenberg-Hansen - 1990 - Annals of Pure and Applied Logic 48 (2):135-196.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo