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