nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A flexible type system for the small Veblen ordinal
|
Ranzi, Florian |
|
2019 |
58 |
5-6 |
p. 711-751 |
artikel |
2 |
A Kuroda-style j-translation
|
Berg, Benno van den |
|
2018 |
58 |
5-6 |
p. 627-634 |
artikel |
3 |
Comparing the degrees of enumerability and the closed Medvedev degrees
|
Shafer, Paul |
|
2018 |
58 |
5-6 |
p. 527-542 |
artikel |
4 |
Cut elimination for entailment relations
|
Rinaldi, Davide |
|
2018 |
58 |
5-6 |
p. 605-625 |
artikel |
5 |
Degrees of bi-embeddable categoricity of equivalence structures
|
Bazhenov, Nikolay |
|
2018 |
58 |
5-6 |
p. 543-563 |
artikel |
6 |
Determinacy separations for class games
|
Hachtman, Sherwood |
|
2019 |
58 |
5-6 |
p. 635-648 |
artikel |
7 |
Ideals of independence
|
Fischer, Vera |
|
2019 |
58 |
5-6 |
p. 767-785 |
artikel |
8 |
Non-homogeneity of quotients of Prikry forcings
|
Gitik, Moti |
|
2019 |
58 |
5-6 |
p. 649-710 |
artikel |
9 |
On the classification of vertex-transitive structures
|
Clemens, John |
|
2018 |
58 |
5-6 |
p. 565-574 |
artikel |
10 |
Reverse mathematics and colorings of hypergraphs
|
Davis, Caleb |
|
2018 |
58 |
5-6 |
p. 575-585 |
artikel |
11 |
Truth, disjunction, and induction
|
Enayat, Ali |
|
2019 |
58 |
5-6 |
p. 753-766 |
artikel |
12 |
VC-density for trees
|
Bobkov, Anton |
|
2018 |
58 |
5-6 |
p. 587-603 |
artikel |