Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Arch Math Logic

Search In Journal Title:

Abbravation: Archive for Mathematical Logic

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

DOI

10.1002/app.40613

Search In DOI:

ISSN

1432-0665

Search In ISSN:
Search In Title Of Papers:

A blend of methods of recursion theory and topolog

Authors: Iraj Kalantari Larry Welch
Publish Date: 2004/05/28
Volume: 43, Issue: 8, Pages: 991-1008
PDF Link

Abstract

This paper is a sequel to our 7 In that paper we constructed a Π10 tree of avoidable points Here we construct a Π10 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 each basic open set on the tree an address in 2ω One interesting fact is that while our Π10 tree of sharp filters a subtree of Δω is isomorphic to the tree of addresses a subtree of 2ω the tree of addresses is recursively enumerable but not recursive To achieve this end we use a finite injury priority argument

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Homogeneous iteration and measure one covering relative to HOD
  2. On the indestructibility aspects of identity crisis
  3. Strict core fuzzy logics and quasi-witnessed models
  4. The large cardinals between supercompact and almost-huge
  5. Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs
  6. Maximally embeddable components
  7. C-Quasi-Minimal enumeration degrees below c'
  8. The logic of equilibrium and abelian lattice ordered groups
  9. Register computations on ordinals
  10. On omega-categorical simple theories
  11. Some weak fragments of Martin’s axiom related to the rectangle refining property
Search Result: