Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weirstrass theorem

RecordNumber
203
Author
Conidis, Chris J.
ArticleLanguage
English
Title of Article
Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weirstrass theorem
Title Of Periodical
American Mathematical Society. Transactions
Author Statement
Chris J. Conidis
Frequency
Monthly
Publish State
Providence, RI:AMS،2012
E ISSN
0002-9947
Journal WebSite
http://www.ams.org/tran
Email Address
ams@ams.org
Year
2012
Month
September
Volume
364
Number
9
Page
2012
Descriptors
Comparing theorems of hyperarithmetic analysis , Arithmetic Bolzano-weierstrass theorem , Hyperarithmetic sets , Sequential Limit system (SL0) , Arithmetic Bolzano-Weierstrass (ABW0) , Cantor space and Baire space , Montalban shows , Forcing language L∞ , Forcing relation , Retaggings in P , Automorphisms of P , INDEC0
Main Class
510
Date
2012
Date of Article
April 2012
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=203&Field=0&DTC=22