|
22 Nisan 2014, 14:00 
Yeditepe Üniversitesi Matematik Bölümü SeminerleriOn Some Results in Classical Reverse Analysis İskender Taşdelen
Weak subsystems of second order arithmetic studied in reverse mathematics are considerably weaker than $\mathsf{ZFC}$. However, they are strong enough to develop the number systems, to represent structures dealt with in ordinary analysis and to prove many of the known results obtained in this field. We consider some examples in this direction, such as a proof of the Heine-Borel theorem in $\mathsf{WKL_0}$ and the Bolzano-Weierstrass theorem in $\mathsf{ACA_0}$.
Analiz İngilizce Yeditepe Üniversitesi, Matematik Bölümü (Seminer odası) admin 20.03.2020 |
