- 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
Total objects in inductively defined types.Lill Kristiansen & Dag Normann - 1997 - Archive for Mathematical Logic 36 (6):405-436.
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
Effectivity in Spaces with Admissible Multirepresentations.Matthias Schröder - 2002 - Mathematical Logic Quarterly 48 (S1):78-90.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Systems of transfinite types involving λ-conversion.Maurice L'Abbé - 1953 - Journal of Symbolic Logic 18 (3):209 - 224.
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.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
Review: Frank G. Bruner, Mathematical Logic With Transfinite Types. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.
Learning correction grammars.Lorenzo Carlucci, John Case & Sanjay Jain - 2009 - Journal of Symbolic Logic 74 (2):489-516.
Topometric spaces and perturbations of metric structures.Itaï Ben Yaacov - 2008 - Logic and Analysis 1 (3-4):235-272.
Analytics
Added to PP
2013-11-23
Downloads
32 (#488,786)
6 months
8 (#347,798)
2013-11-23
Downloads
32 (#488,786)
6 months
8 (#347,798)
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-7c76586df8-pp8v9 uwo