|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new proof of a theorem of Magidor |
Apter, Arthur W. |
2000 |
39 | 3 |
p. 209-211 |
artikel |
|
| 2 | Consistency of V = HOD with the wholeness axiom |
Corazza, Paul |
2000 |
39 | 3 |
p. 219-226 |
artikel |
|
| 3 | Extending Martin-Löf Type Theory by one Mahlo-universe |
Setzer, Anton |
2000 |
39 | 3 |
p. 155-181 |
artikel |
|
| 4 | On relative enumerability of Turing degrees |
Ishmukhametov, Shamil |
2000 |
39 | 3 |
p. 145-154 |
artikel |
|
| 5 | The PCF Trichotomy Theorem does not hold for short sequences |
Kojman, Menachem |
2000 |
39 | 3 |
p. 213-218 |
artikel |
|
| 6 | Vectorization hierarchies of some graph quantifiers |
Hella, Lauri |
2000 |
39 | 3 |
p. 183-207 |
artikel |
6 gevonden resultaten