Summary: Souslin Absoluteness, Uniformization and
Regularity properties of projective sets
Eyal Amir \Lambda
Dept. of Mathematics and Computer Science
Bar­Ilan University
52900 Ramat­Gan, Israel
amire@bimacs.cs.biu.ac.il
Haim Judah \Lambda
Dept. of Mathematics and Computer Science
Bar­Ilan University
52900 Ramat­Gan, Israel
February 18, 1995
Abstract
We show that Souslin Absoluteness and Projective Regularity holds iff
Souslin Uniformization does. As a result, Souslin Absoluteness plus \Sigma 1
n
Projective Regularity implies \Delta 1
n+1 Projective Regularity. Another result
is that \Sigma 1
5 Souslin Absoluteness implies \Delta 1

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences