|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A computable version of Banach’s Inverse Mapping Theorem |
Brattka, Vasco |
2009 |
157 | 2-3 |
p. 85-96 12 p. |
artikel |
|
| 2 | A strong antidiamond principle compatible with CH |
Hirschorn, James |
2009 |
157 | 2-3 |
p. 161-193 33 p. |
artikel |
|
| 3 | Contents |
2009 |
157 | 2-3 |
p. iv- 1 p. |
artikel |
||
| 4 | Editorial Board |
2009 |
157 | 2-3 |
p. IFC- 1 p. |
artikel |
||
| 5 | Exact unprovability results for compound well-quasi-ordered combinatorial classes |
Bovykin, Andrey |
2009 |
157 | 2-3 |
p. 77-84 8 p. |
artikel |
|
| 6 | Existential arithmetization of Diophantine equations |
Matiyasevich, Yuri |
2009 |
157 | 2-3 |
p. 225-233 9 p. |
artikel |
|
| 7 | Foreword |
Baaz, Matthias |
2009 |
157 | 2-3 |
p. 63- 1 p. |
artikel |
|
| 8 | Index sets for some classes of structures |
Fokina, Ekaterina B. |
2009 |
157 | 2-3 |
p. 139-147 9 p. |
artikel |
|
| 9 | Injecting uniformities into Peano arithmetic |
Ferreira, Fernando |
2009 |
157 | 2-3 |
p. 122-129 8 p. |
artikel |
|
| 10 | Low-distortion embeddings of infinite metric spaces into the real line |
Geschke, Stefan |
2009 |
157 | 2-3 |
p. 148-160 13 p. |
artikel |
|
| 11 | Non-deterministic semantics for dynamic topological logic |
Fernández, David |
2009 |
157 | 2-3 |
p. 110-121 12 p. |
artikel |
|
| 12 | o-minimal analytic separation of sets in dimension 2 |
Fischer, Andreas |
2009 |
157 | 2-3 |
p. 130-138 9 p. |
artikel |
|
| 13 | On lengths of proofs in non-classical logics |
Hrubeš, Pavel |
2009 |
157 | 2-3 |
p. 194-205 12 p. |
artikel |
|
| 14 | On reflection principles |
Koellner, Peter |
2009 |
157 | 2-3 |
p. 206-219 14 p. |
artikel |
|
| 15 | Ordinal analysis by transformations |
Towsner, Henry |
2009 |
157 | 2-3 |
p. 269-280 12 p. |
artikel |
|
| 16 | Phase transitions for Gödel incompleteness |
Weiermann, Andreas |
2009 |
157 | 2-3 |
p. 281-296 16 p. |
artikel |
|
| 17 | Realization of φ -types and Keisler’s order |
Malliaris, M.E. |
2009 |
157 | 2-3 |
p. 220-224 5 p. |
artikel |
|
| 18 | Space of valuations |
Coquand, Thierry |
2009 |
157 | 2-3 |
p. 97-109 13 p. |
artikel |
|
| 19 | The metamathematics of ergodic theory |
Avigad, Jeremy |
2009 |
157 | 2-3 |
p. 64-76 13 p. |
artikel |
|
| 20 | The strength of extensionality I — weak weak set theories with infinity |
Sato, Kentaro |
2009 |
157 | 2-3 |
p. 234-268 35 p. |
artikel |
20 gevonden resultaten