Abstract
If there is a good $\Delta^1_3$ wellordering of the reals, then there is a $\Pi^1_1$ wellfounded relation for which the comparison relation is not projective.
Citation
Greg Hjorth. "$\Pi^1_1$ Wellfounded Relations." Notre Dame J. Formal Logic 35 (4) 542 - 549, Fall 1994. https://doi.org/10.1305/ndjfl/1040408611
Information
Published: Fall 1994
First available in Project Euclid: 20 December 2002
zbMATH: 0830.03023
MathSciNet: MR1334289
Digital Object Identifier: 10.1305/ndjfl/1040408611
Subjects:
Primary:
04A15
Secondary:
03E15
Rights: Copyright © 1994 University of Notre Dame
