Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Souslin Absoluteness, Uniformization and Regularity properties of projective sets
 

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