๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A blend of methods of recursion theory and topology

โœ Scribed by Iraj Kalantari; Larry Welch

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
429 KB
Volume
124
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A blend of methods of recursion theory a
A blend of methods of recursion theory and topology: A ะŸ 0^1 tree of shadow points
โœ Iraj Kalantari; Larry Welch ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer ๐ŸŒ English โš– 610 KB

This paper is a sequel to our [7]. In that paper we constructed a 0 1 tree of avoidable points. Here we construct a 0 1 tree of shadow points. This tree is a tree of sharp filters, where a sharp filter is a nested sequence of basic open sets converging to a point. In the construction we assign to ea

Transfinite Recursion in a Theory of Pro
Transfinite Recursion in a Theory of Properties
โœ Stephen Pollard ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 496 KB

As SCOTT has shown, the Replacement. scheme of Z F derives a large part, of its strength from the Extensionality axiom. For in the absence of the latter, the supply of demonstrably functional formula matrices is relatively ineagei..l) I n this situation, u-e can restore some of Replacemmt's vigor by