|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A characterization of Σ 1 1 -reflecting ordinals |
Aguilera, J.P. |
|
172 | 10 |
p. |
article |
|
| 2 | A coinductive approach to proof search through typed lambda-calculi |
Espírito Santo, José |
|
172 | 10 |
p. |
article |
|
| 3 | A consistency result on long cardinal sequences |
Martínez, Juan Carlos |
|
172 | 10 |
p. |
article |
|
| 4 | Editorial Board |
|
172 | 10 |
p. |
article |
||
| 5 | Games with finitely generated structures |
Krawczyk, Adam |
|
172 | 10 |
p. |
article |
|
| 6 | Linearly ordered sets with only one operator have the amalgamation property |
Lipparini, Paolo |
|
172 | 10 |
p. |
article |
|
| 7 | Logics of intuitionistic Kripke-Platek set theory |
Iemhoff, Rosalie |
|
172 | 10 |
p. |
article |
|
| 8 | Weaker cousins of Ramsey's theorem over a weak base theory |
Fiori-Carones, Marta |
|
172 | 10 |
p. |
article |
8 results found