Aksiyomlanabilir Teorilerin Tam Tutarlı Uzantılarının Hesaplanabilirlik Dereceleri
Bu makalede matematiksel mantık ve temellerin bir dalı olan {\em hesaplanabilirlik kuramı} ile ilişkili $\Pi^0_1$ sınıfları (kümeleri) çalışılmıştır. ZFC kümeler kuramı veya Peano aritmetiği gibi aksiyomlanabilir herhangi bir teorinin tam tutarlı uzantılarının kümesi, bir $\Pi^0_1$ sınıfı olarak gör...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Suleyman Demirel University
2018-07-01
|
| Series: | Süleyman Demirel Üniversitesi Fen Bilimleri Enstitüsü Dergisi |
| Subjects: | |
| Online Access: | http://dergipark.ulakbim.gov.tr/sdufenbed/article/view/5000213702 |