Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published September 1989 | Published
Journal Article Open

Π^1_1 Borel Sets

Abstract

The results in this paper were motivated by the following question of Sacks. Suppose T is a recursive theory with countably many countable models. What can you say about the least ordinal ɑ such that all models of T have Scott rank below ɑ? If Martin's conjecture is true for T then ɑ ≤ ω·2.

Additional Information

© 1989, Association for Symbolic Logic. Received January 28, 1988; revised May 9, 1988. The first two authors were partially supported by the National Science Foundation.

Attached Files

Published - 2274751.pdf

Files

2274751.pdf
Files (191.2 kB)
Name Size Download all
md5:1b6eedfd1d1faf6c6a28919960381af0
191.2 kB Preview Download

Additional details

Created:
August 19, 2023
Modified:
March 5, 2024