This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the...
Λεπτομέρειες βιβλιογραφικής εγγραφής
| Κύριος συγγραφέας: |
Kotlarski, Henryk
(Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut) |
|---|
| Συγγραφή απο Οργανισμό/Αρχή: |
SpringerLink (Online service) |
|---|
| Άλλοι συγγραφείς: |
Adamowicz, Zofia
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt),
Bigorajska, Teresa
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt),
Zdanowski, Konrad
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
|---|
| Μορφή: | Ηλεκτρονική πηγή
Ηλ. βιβλίο
|
|---|
| Γλώσσα: | English |
|---|
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
|---|
| Έκδοση: | 1st ed. 2019. |
|---|
| Σειρά: | Trends in Logic, Studia Logica Library,
51
|
|---|
| Θέματα: | |
|---|
| Διαθέσιμο Online: | Full Text via HEAL-Link
|
|---|
