Home > Papers

 
 
Realizing $\\Sigma_1$ Formulas in R
Decheng Ding 1 *,Wei Wang 1 #,Liang Yu 2
1.Dept of Math, Nanjing Univ
2.Dept of Math- National Univ of Singapore
*Correspondence author
#Submitted by
Subject:
Funding: 教育部博士点基金(No.20020284028)
Opened online:21 December 2005
Accepted by: none
Citation: Decheng Ding,Wei Wang,Liang Yu.Realizing $\\Sigma_1$ Formulas in R[OL]. [21 December 2005] http://en.paper.edu.cn/en_releasepaper/content/4532
 
 
First we studied a restricted notion of indiscernibles in the partial ordering of computably enumerable Turing degrees. Then we proved a fact that divided one quantier formulas and others.
Keywords:Computably enumerable degrees, indiscernibles, elementary substructure
 
 
 

For this paper

  • PDF (0B)
  • ● Revision 0   
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags

Add yours

Related Papers

  • Other similar papers

Statistics

PDF Downloaded 417
Bookmarked 0
Recommend 5
Comments Array
Submit your papers