1 | -- | 37 | Emil Jerábek. Dual weak pigeonhole principle, Boolean complexity, and derandomization |
39 | -- | 92 | Toshiyasu Arai. Proof theory for theories of ordinals II: Pi::3::-reflection |
93 | -- | 106 | Stefano Berardi, Silvio Valentini. Krivine s intuitionistic proof of classical completeness (for countable languages) |
131 | -- | 148 | Martin Grohe, Stefan Wöhrle. An existential locality theorem |
149 | -- | 162 | Ziv Shami. Internality and interpretable automorphism groups in simple theories |
163 | -- | 180 | Liang Yu, Decheng Ding, Rodney G. Downey. The Kolmogorov complexity of random reals |
181 | -- | 210 | Pilar Dellunde, Françoise Delon, Françoise Point. The theory of modules of separably closed fields 2 |
211 | -- | 243 | James Cummings, Matthew Foreman, Menachem Magidor. Canonical structure in the universe of set theory: part one |
245 | -- | 275 | Carsten Butz. Saturated models of intuitionistic theories |